作者:
王非, 杨红丽, 秦胜潮, 胡世超, 刘渊
关键词:
元线传感器网络;数掘收集协议;UPPAAL;UPPAAL CoVer;测试用例生成
摘要:
从协议测试的角度出发研究了基于时间 自动机模型的元线传感器网络数掘收集协议测试用例生成方法,提出利用 UPPAAL 工具对数据收集协议建立时间 自动机模型,进而利用 UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法o 为了便于生成实际测试用例,开发了辅助自动测试用例生成工具 ATCGTo 通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。
在线下载