计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2015年
4期
1164-1168
,共5页
王非%杨红丽%秦胜潮%胡世超%刘渊
王非%楊紅麗%秦勝潮%鬍世超%劉淵
왕비%양홍려%진성조%호세초%류연
无线传感器网络%数据收集协议%UPPAAL%UPPAAL CoVer%测试用例生成
無線傳感器網絡%數據收集協議%UPPAAL%UPPAAL CoVer%測試用例生成
무선전감기망락%수거수집협의%UPPAAL%UPPAAL CoVer%측시용례생성
Wireless Sensor Network (WSN)%data gathering protocol%UPPAAL%UPPAAL CoVer%test case generation
从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法.为了便于生成实际测试用例,开发了辅助自动测试周例生成工具ATCGT.通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性.
從協議測試的角度齣髮研究瞭基于時間自動機模型的無線傳感器網絡數據收集協議測試用例生成方法,提齣利用UPPAAL工具對數據收集協議建立時間自動機模型,進而利用UPPAAL CoVer工具生成滿足特定覆蓋標準的測試路徑集閤的方法.為瞭便于生成實際測試用例,開髮瞭輔助自動測試週例生成工具ATCGT.通過一箇工業界的無線抄錶數據收集協議的建模與測試用例生成實例,闡明瞭該方法的有效性.
종협의측시적각도출발연구료기우시간자동궤모형적무선전감기망락수거수집협의측시용례생성방법,제출이용UPPAAL공구대수거수집협의건립시간자동궤모형,진이이용UPPAAL CoVer공구생성만족특정복개표준적측시로경집합적방법.위료편우생성실제측시용례,개발료보조자동측시주례생성공구ATCGT.통과일개공업계적무선초표수거수집협의적건모여측시용례생성실례,천명료해방법적유효성.
