基于Petri网的WIA-PA协议一致性测试方法研究与平台实现
文献类型：学位论文
| 作者 | 孙亮 |
| 学位类别 | 硕士 |
| 答辩日期 | 2015-05-26 |
| 授予单位 | 中国科学院沈阳自动化研究所 |
| 授予地点 | 中国科学院沈阳自动化研究所 |
| 导师 | 梁炜 |
| 关键词 | 工业无线网络 WIA-PA 一致性测试 黑盒测试 Petri网 |
| 其他题名 | Research and Implementation of WIA-PA Protocol Conformance Method and Platform Based on Petri Net Model |
| 学位专业 | 控制工程 |
| 中文摘要 | 工业无线网络是一种面向工厂设备间信息与数据交互的无线网络技术，具有低成本、易使用、易维护等特点，已成为降低工业测控系统成本、扩展其应用范畴的革命性技术，也是未来第四次工业革命的关键使能技术。近年来，工业无线网络技术获得了突飞猛进的发展，特别是面向过程自动化的工业无线网络技术。WIA-PA（Wireless Networks for Industrial Automation-Process Automation）技术是国际三大标准技术体系之一，是过程自动化工业无线网络的代表性成果，具有广阔的应用前景。多使用自然语言描述的网络协议在其实现过程中可能与标准存在差异甚至错误，这些差异和错误将导致不同厂商产品无法互联和互操作。为此，协议一致性测试是工业无线网络设备应用的前提和基础。本文针对WIA-PA协议特点及一致性测试要求，设计并实现了一套基于Petri网的WIA-PA协议一致性测试集生成方法，并在所设计和实现的WIA-PA一致性测试平台上，通过与传统分层测试方法的对比，验证了其有效性。本文的具体成果如下：1. 介绍了工业无线网络发展现状以及面临的挑战；阐述了工业无线网络协议一致性测试在协议实现及应用中的重要性；重点介绍了工业无线WIA-PA技术和标准；详细介绍和分析了现有针对WIA-PA协议的一致性测试方法及其所存在的问题；。2. 针对传统分层协议一致性测试方法在面对WIA-PA跨层协议栈架构、混合拓扑结构等特点存在重复测试率高、测试集完备性低等问题，提出了基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法。针对WIA-PA设备从加入网络、在网运行到离开网络的整个生命周期，以及不同的WIA-PA网络场景，建立了Petri网模型；并利用可覆盖性图进行动态特征分析；在可覆盖性图的基础上，利用树表结合的标识方法（TTCN）的方法抽取了WIA-PA协议的一致性测试集。通过与传统分层协议一致性测试方法进行比较，基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法提高了测试集的完备性和协议一致性测试效率。3. 基于所生成一致性测试集，设计和开发了WIA-PA协议一致性测试平台，平台由测试前端设备和测试主机组成，网络场景中除被测设备外其他设备的功能均由测试主机来模拟，便于模拟复杂网络场景，保证了测试的完备性。4. 除完备性外，本文还提出重复执行指数和有效执行率两个性能指标，以实现对协议一致性测试方法的全面评价。基于以上平台和性能指标，比较了基于设备生命周期Petri网的一致性测试方法与基于分层Petri网的一致性测试方法，结果验证了所提方法的有效性。 |
| 索取号 | TN926/S97/2015 |
| 英文摘要 | Industrial wireless network is a factory-device-oriented wireless network technology, which supports the information and data interaction among factory devices. Due to the advantages of low cost, easy utilization, easy maintenance, etc., industrial wireless network has become an innovative technology, which can reduce the cost of the industrial measurement and control system and expand the application fields. Moreover, it shall be a potential paradigm of the fourth evolution of the industrial revolution. In recent years, industrial wireless network technology has developed rapidly, especially for process automation. WIA-PA (Wireless Networks for Industrial Automation-Process Automation) is one of the three international technology standard systems. As a typical achievement of the industry wireless network for process automation, WIA-PA has broad application prospects. Normally, an industrial wireless network protocol is described by the natural language, in which different understandings of the same protocol texts shall lead to discrepancies and errors during implementations. These discrepancies and errors will result in the fact that products from different vendors cannot interconnect and interoperate. Therefore, the protocol conformance test is a prerequisite and basis for applications of an industrial wireless network device. In this thesis, according to characteristics of WIA-PA protocol and requirements of conformance test, a set of generation methods for WIA-PA protocol conformance test suite based on Petri-net model is designed and implemented. In order to, Effectiveness is compared with existed typical conformance testing methods on the WIA-PA conformance test platform. The contributions of the thesis are listed as follows: 1. Development and challenges of industry wireless networks are introduced, and the importance of protocol conformance testing in protocol implementations and applications is described. In addition, WIA-PA industrial wireless technology and standard are highlighted, and existing conformance testing methods and problems regarding WIA-PA protocol are analyzed. 2. Repetitive and incomplete testing is major disadvantage for layered protocol conformance testing methods that test WIA-PA devices with cross-layer stack architecture and within hybrid topology. A new WIA-PA conformance testing method considering whole device lift cycle is proposed based on Petri-net model. A Petri-net model is established covering whole device life cycle (joining, operating, and leaving), and different network scenarios of WIA-PA. Besides, the dynamic features are analyzed by utilizing the coverability graph, and the test suits of WIA-PA are extracted by utilizing TTCN. The completeness and efficiency of the proposed method are validated by comparing with the layered conformance testing method. 3. Based on the generated conformance test suit, a WIA-PA protocol conformance testing platform is designed and developed. The platform consists of front-end devices and a test host. The test host simulates all functions of devices except for devices under test, which is convenient to simulate complex network scenarios and can guarantee the completeness of the test. 4. Additional two performance metrics termed repeat index and efficiency rate are defined except for completeness, which are comprehensively used for evaluate the protocol conformance testing methods. Based on the developed platform and proposed performance metrics, the completeness and efficiency of WIA-PA conformance testing method considering whole device lift cycle based on Petri-net are validated by comparing with the layered conformance testing method. |
| 语种 | 中文 |
| 产权排序 | 1 |
| 页码 | 63页 |
| 源URL | [http://ir.sia.ac.cn/handle/173321/16743]  |
| 专题 | 沈阳自动化研究所_工业控制网络与系统研究室 |
| 推荐引用方式 GB/T 7714 | 孙亮. 基于Petri网的WIA-PA协议一致性测试方法研究与平台实现[D]. 中国科学院沈阳自动化研究所. 中国科学院沈阳自动化研究所. 2015. |
入库方式： OAI收割
来源：沈阳自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。