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

• 作者: 刘渊 杨红丽 王非 秦胜潮 胡世超
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 无线传感器网络 数据收集协议 UPPAAL UPPAAL CoVer 测试用例生成
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 1164-1168
• 页数: 5页
• 分类号: TP393
• 字数: 4762字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2015.04.1164

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨红丽	北京工业大学计算机学院	20	106	5.0	9.0
2	胡世超	北京工业大学计算机学院	2	7	2.0	2.0
3	秦胜潮	北京工业大学计算机学院	3	10	2.0	3.0
5	王非	北京工业大学计算机学院	4	15	3.0	3.0
6	刘渊		3	20	2.0	3.0