基于时间自动机模型的无线传感器网络数据收集协议测试用例生成

来源：计算机应用杂志2015年第4期北京时间：

作者：王非, 杨红丽, 秦胜潮, 胡世超, 刘渊

单位：1. 北京工业大学 计算机学院, 北京 100124;2. 提赛德大学 计算机学院, 英国 米德尔斯堡;3. 西安普瑞米特科技有限公司, 西安 710075

摘要：从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。

关键词：无线传感器网络,数据收集协议,UPPAAL,UPPAAL CoVer,测试用例生成