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

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

doi:10.13976/j.cnki.xk.2015.0703

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

孙亮^1,2,
梁炜^1, ,,
王恺¹,
张思超¹,
苗乔木³

1.
中国科学院沈阳自动化研究所网络化控制系统重点实验室, 辽宁沈阳 110016
2.
中国科学院大学, 北京 100049
3.
天津大学计算机科学与技术学院, 天津 300072

基金项目: 国家自然科学基金资助项目（61174026，61202418）.

详细信息

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

通讯作者:
梁炜，weiliang@sia.cn

中图分类号: TP273.⁺2
计量
- 文章访问数: 925
- HTML全文浏览量: 1
- PDF下载量: 239
出版历程
- 收稿日期: 2014-12-21
- 修回日期: 2015-04-14
- 发布日期: 2015-12-19

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

1.
Key Laboratory of Networked Control Systems, Shenyang Institute of Automation, Chinese Academy of Sciences, Shenyang 110016, China
2.
University of Chinese Academy of Science, Beijing 100049, China
3.
School of Computer Science and Technology, Tianjin University, Tianjin 3000072, China

摘要

摘要: 针对传统分层协议测试方法面对WIA-PA跨层协议栈架构、混合拓扑结构等情形存在重复测试、测试集不完备等问题，提出了基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法. 针对WIA-PA设备从加入网络到离开网络的整个生命周期，建立Petri网模型；并利用可覆盖性图进行动态特征分析，进而抽取WIA-PA的一致性测试集. 该文设计并开发了WIA-PA协议一致性测试平台，基于该平台比较了分层测试方法和基于设备生命周期的测试方法，对比结果显示了所提方法的有效性.
- WIA-PA协议 /
- 一致性测试 /
- Petri网 /
- 测试平台
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.
- WIA-PA protocol /
- conformance testing /
- Petri net /
- testing platform

HTML全文

参考文献(20)

[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.

施引文献

资源附件(0)

计量

文章访问数: 925
HTML全文浏览量: 1
PDF下载量: 239
被引次数: 0

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

通讯作者: 梁炜，weiliang@sia.cn

计量

出版历程

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

计量

出版历程

目录

通讯作者:
梁炜，weiliang@sia.cn