计算机应用 ›› 2015, Vol. 35 ›› Issue (4): 1164-1168.DOI: 10.11772/j.issn.1001-9081.2015.04.1164

• 计算机软件技术 • 上一篇    下一篇

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

王非1, 杨红丽1, 秦胜潮1,2, 胡世超1, 刘渊3   

  1. 1. 北京工业大学 计算机学院, 北京 100124;
    2. 提赛德大学 计算机学院, 英国 米德尔斯堡;
    3. 西安普瑞米特科技有限公司, 西安 710075
  • 收稿日期:2014-11-04 修回日期:2014-12-22 出版日期:2015-04-10 发布日期:2015-04-08
  • 通讯作者: 王非
  • 作者简介:王非(1988-),男,北京人,硕士研究生,主要研究方向:无线传感器网络、软件测试; 杨红丽(1970-),女,陕西宝鸡人,副教授,博士,主要研究方向:服务计算、无线传感器网络、形式化建模; 秦胜潮(1974-),男,湖北黄冈人,教授,博士,主要研究方向:形式化方法、程序语言、软件工程; 胡世超(1990-),男,湖北孝感人,硕士研究生,主要研究方向:无线传感器网络、程序分析; 刘渊(1970-),男,陕西西安人,硕士,主要研究方向:燃气抄表系统、无线传感器网络。

Test case generation of data gathering protocol for wireless sensor networks based on timed automata model

WANG Fei1, YANG Hongli1, QIN Shengchao1,2, HU Shichao1, LIU Yuan3   

  1. 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
  • Received:2014-11-04 Revised:2014-12-22 Online:2015-04-10 Published:2015-04-08

摘要:

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

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

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.

Key words: Wireless Sensor Network (WSN), data gathering protocol, UPPAAL, UPPAAL CoVer, test case generation

中图分类号: