|
|||||
|
|
| 基于时间自动机模型的无线传感器网络数据收集协议测试用例生成 | |
| 引用本文： | 王非,杨红丽,秦胜潮,胡世超,刘渊.基于时间自动机模型的无线传感器网络数据收集协议测试用例生成[J].计算机应用,2015,35(4):1164-1168. |
| 作者姓名： | 王非 杨红丽 秦胜潮 胡世超 刘渊 |
| 作者单位： | 1. 北京工业大学 计算机学院, 北京 100124; 2. 提赛德大学 计算机学院, 英国 米德尔斯堡; 3. 西安普瑞米特科技有限公司, 西安 710075 |
| 摘 要： | 从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。 |
| 关 键 词： | 无线传感器网络 数据收集协议 UPPAAL UPPAAL CoVer 测试用例生成 |
| 收稿时间： | 2014-11-04 |
| 修稿时间： | 2014-12-22 |
Test case generation of data gathering protocol for wireless sensor networks based on timed automata model |
|
| WANG Fei , YANG Hongli , QIN Shengchao , HU Shichao , LIU Yuan.Test case generation of data gathering protocol for wireless sensor networks based on timed automata model[J].journal of Computer Applications,2015,35(4):1164-1168. | |
| Authors: | WANG Fei YANG Hongli QIN Shengchao HU Shichao LIU Yuan |
| Affiliation: | 1. College of Computer, Beijing University of Technology, Beijing 100124, China; 2. College of Computer, Teeside University, Middlesbrough Tees Valley, UK; 3. Xi'an Prepaid Meter Technology Company, Xi'an Shaanxi 710075, China |
| Abstract: | The test case generation method of data gathering protocol for Wireless Sensor Network (WSN) based on timed automata model was studied from the perspective of protocol testing, then the time automata model for data gathering protocol was established using UPPAAL, and the test traces set satisfied with certain coverage criteria was generated using UPPAAL CoVer. In order to facilitate the actual test case generation, an auxiliary automatic test case generation tool named Auto Test Case Generation Tool (ATCGT) was developed. The effectiveness of the method was proved by modeling and test cases generating for a wireless meter reading data gathering protocol in industry. |
| Keywords: | Wireless Sensor Network (WSN) data gathering protocol UPPAAL UPPAAL CoVer test case generation |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用》浏览原始摘要信息 | |
| 点击此处可从《计算机应用》下载全文 | |
