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

摘要

本发明请求保护一种基于设备生命周期Petri网的WIA-PA协议测试集生成方法，具体涉及工业无线传感器网络技术。本发明面向WIA-PA网络的设备类型、拓扑结构、协议栈结构等特点，按照设备生命周期，建立Petri网模型，分析与验证模型结构的库所、变迁及初始化条件等信息，生成变迁发生序列，最终为设备生成一个以加入过程、运行过程和离开过程为主体的全生命周期测试集。本发明为测试所开发WIA-PA设备与WIA-PA标准的符合度提供了有效测试方法，以保证不同厂家所开发WIA-PA设备的互联与互操作。

主权项

一种基于设备生命周期Petri网的WIA‑PA协议测试集生成方法，其特征在于，包括以下步骤：根据被测对象在WIA‑PA网络中的生命周期建立Petri网模型；收集Petri网的结构信息；利用所述结构信息，分析Petri网模型的活性、有界性、安全性、可达性；通过遍历可覆盖性图得到变迁发生序列，对得到的序列进行整理，生成测试用例集；通过计算Petri网的标识覆盖率、变迁覆盖率，验证生成的测试用例集是否满足要求。