作者:王非,杨红丽,秦胜潮,胡世超,刘渊 单位:四川省计算机学会;中国科学院成都分院 出版:《计算机应用》2015年第04期 页数:5页  (PDF与DOC格式可能不同) PDF编号:PDFJSJY2015040580 DOC编号:DOCJSJY2015040589 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL Co Ver工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。