基于设备生命周期Petri网的WIA-PA协议一致性测试方法

孙亮, 梁炜, 王恺, 张思超, 苗乔木

孙亮, 梁炜, 王恺, 张思超, 苗乔木. 基于设备生命周期Petri网的WIA-PA协议一致性测试方法[J]. 信息与控制, 2015, 44(6): 703-710,716. DOI: 10.13976/j.cnki.xk.2015.0703
引用本文: 孙亮, 梁炜, 王恺, 张思超, 苗乔木. 基于设备生命周期Petri网的WIA-PA协议一致性测试方法[J]. 信息与控制, 2015, 44(6): 703-710,716. DOI: 10.13976/j.cnki.xk.2015.0703
SUN Liang, LIANG Wei, WANG Kai, ZHANG Sichao, MIAO Qiaomu. WIA-PA Protocol Conformance Testing Method Based on Petri Net Model for Device Life Cycle[J]. INFORMATION AND CONTROL, 2015, 44(6): 703-710,716. DOI: 10.13976/j.cnki.xk.2015.0703
Citation: SUN Liang, LIANG Wei, WANG Kai, ZHANG Sichao, MIAO Qiaomu. WIA-PA Protocol Conformance Testing Method Based on Petri Net Model for Device Life Cycle[J]. INFORMATION AND CONTROL, 2015, 44(6): 703-710,716. DOI: 10.13976/j.cnki.xk.2015.0703
孙亮, 梁炜, 王恺, 张思超, 苗乔木. 基于设备生命周期Petri网的WIA-PA协议一致性测试方法[J]. 信息与控制, 2015, 44(6): 703-710,716. CSTR: 32166.14.xk.2015.0703
引用本文: 孙亮, 梁炜, 王恺, 张思超, 苗乔木. 基于设备生命周期Petri网的WIA-PA协议一致性测试方法[J]. 信息与控制, 2015, 44(6): 703-710,716. CSTR: 32166.14.xk.2015.0703
SUN Liang, LIANG Wei, WANG Kai, ZHANG Sichao, MIAO Qiaomu. WIA-PA Protocol Conformance Testing Method Based on Petri Net Model for Device Life Cycle[J]. INFORMATION AND CONTROL, 2015, 44(6): 703-710,716. CSTR: 32166.14.xk.2015.0703
Citation: SUN Liang, LIANG Wei, WANG Kai, ZHANG Sichao, MIAO Qiaomu. WIA-PA Protocol Conformance Testing Method Based on Petri Net Model for Device Life Cycle[J]. INFORMATION AND CONTROL, 2015, 44(6): 703-710,716. CSTR: 32166.14.xk.2015.0703

基于设备生命周期Petri网的WIA-PA协议一致性测试方法

基金项目: 国家自然科学基金资助项目(61174026,61202418).
详细信息
    作者简介:

    孙亮(1987-),男,硕士生.研究领域无线传感网络.
    梁炜(1974-),女,博士,研究员,博士生导师.研究方向为无线传感网络,工业通信,躯感网,系统仿真.
    王恺(1986-),男,硕士,助理研究员.研究方向为无线传感网络及其测试.

    通讯作者:

    梁炜,weiliang@sia.cn

  • 中图分类号: TP273.+2

WIA-PA Protocol Conformance Testing Method Based on Petri Net Model for Device Life Cycle

  • 摘要: 针对传统分层协议测试方法面对WIA-PA跨层协议栈架构、混合拓扑结构等情形存在重复测试、测试集不完备等问题,提出了基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法. 针对WIA-PA设备从加入网络到离开网络的整个生命周期,建立Petri网模型;并利用可覆盖性图进行动态特征分析,进而抽取WIA-PA的一致性测试集. 该文设计并开发了WIA-PA协议一致性测试平台,基于该平台比较了分层测试方法和基于设备生命周期的测试方法,对比结果显示了所提方法的有效性.
    Abstract: The problems associated with the traditional layered protocol conformance testing method include repetitive and incomplete testing when confronted with the cross-layer stack architecture and hybrid topology of the WIA-PA communication standards. We propose a new WIA-PA conformance testing method based on the Petri-net model for device life cycles. The Petri-net model was established to cover the entire device life cycle, from the time of configuration, to operation, and decommissioning. We analyze its dynamic features using a coverability graph, and then extract the WIA-PA test suites. We also design and develop a WIA-PA conformance test platform, and verify the efficiency of the proposed method by comparing its results with those of the traditional layered conformance testing method.
  • [1] Liang W, Zhang X L, Xiao Y, et al. Survey and experiments of WIA-PA specification of industrial wireless network[J]. Wireless Communications and Mobile Computing, 2011, 11(8): 1197-1212.
    [2] IEEE Standard 802.15.4.2011. Part 15.4: Wireless medium access control (MAC) and physical layer (PHY) specifications for low-rate wireless personal area networks (WPANs)[S]. 2011.
    [3] Wireless HART TM Technical Data Sheet[S]. The official source for HART communication technology.www.hartcomm.org.
    [4] 工业无线网络WIA规范, 第1部分: 用于过程自动化的WIA系统结构与通信规范[S]. 中华人民共和国国家标准, 2010.
    [5] ISA 100.1la Draft Standard. Wireless systems for industrial automation: Process control and related applications[S]. ISA 100.1la Working Group. 2009.
    [6] 中国科学院计算技术研究所. 含有复杂计算过程协议的一致性测试框架及其方法[P]. 中国发明专利, CN 1564135 A, 2005-1-12.
    [7] ISO/IEC 9656-7 Information technology-open systems interconnection-conformance testing methodology and frame-work[S].
    [8] Aho A V, Dahbura A T, Lee D, et al. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours[J]. IEEE Transactions on Communications, 1991, 39(11): 1604-1615.
    [9] Sun H, Ma L. Research on the conformance test method of wireless sensor network protocol based on IPv6[J]. Foreign Electronic Measurement Technology, 2013, 32(2): 29-31.
    [10] Noel L, Brousse P. Low-cost EVM test methodology for wireless transmitters applied to W-CDMA[J]. IEEE Transactions on Instrumentation and Measurement, 2011, 60(1): 170-175.
    [11] Xie H, Ren N, Wang P. Design and realization of object-oriented system for ISA100.11a protocol conformance testing[C]//2011 IEEE 3rd International Conference on Communication Software and Networks (ICCSN). Piscataway, NJ, USA: IEEE, 2011: 525-529.
    [12] 谢昊飞, 姚俊, 陆楠, 等. WIA-PA 协议一致性测试方法研究[J]. 电子技术应用, 2012, 38(8): 86-88. Xie H F, Yao J, Lu N, et al. Research on the conformance test method of WIA-PA protocol[J]. Application of Electronic Technique, 2012, 38(8): 86-88.
    [13] 张琼, 肖金超. 第三十五讲基于工业无线WIA网络的在线测试平台的设计与实现[J]. 仪器仪表标准化与计量, 2012(5): 16-20. Zhang Q, Xiao J C. Chapter 35: Design and implementation of on line testing platform for WIA[J]. Instrument Standardization and Metrology, 2012(5): 16-20.
    [14] Wang X W. Research and implement on the WIA-PA protocol conformance test[D]. Chongqing: Chongqing University of Posts and Telecommunications, 2011.
    [15] Chongqing University of Posts and Telecommunications. Industrial wireless network protocol conformance testing system and test method[P]. CN 101808355 B. 2013-3-20.
    [16] Xie H F, Li Y L, Luo Z Y, et al. Design and implementation of WIA-PA conformance test system based on Web[J]. Automation & Instrumentation, 2013, 28(9): 18-23.
    [17] Mu X L, Ding X M, Zhang W. Research progress in test case generation based on Petri nets[J]. Journal of Chongqing Jiaotong University: Natural Sciences, 2012, 31(1): 163-167.
    [18] Wu Z H. Petri net introduction[M]. Beijing: China Machine Press, 2006.
    [19] Li F Y, Gu T L, Xu Z B. Symbolic reachability analysis of Petri nets using ZBDDs[J]. Chinese Journal of Computers, 2009(12): 2420-2428.
    [20] Zheng X H, Hu J T, Yu H B. Cluster tools model and markov chain analysis based on stochastic Petri nets[J]. Information and Control, 2011, 40(4): 477-482.
计量
  • 文章访问数:  925
  • HTML全文浏览量:  1
  • PDF下载量:  239
  • 被引次数: 0
出版历程
  • 收稿日期:  2014-12-21
  • 发布日期:  2015-12-19

目录

    /

    返回文章
    返回
    x