[发明专利]基于设备生命周期Petri网的WIA-PA协议测试集生成方法

权利要求书

1.一种基于设备生命周期Petri网的WIA-PA协议测试集生成方法，其特征在于， 包括以下步骤：

根据被测对象在WIA-PA网络中的生命周期建立Petri网模型；

收集Petri网的结构信息；

利用所述结构信息，分析Petri网模型的活性、有界性、安全性、可达性；

通过遍历可覆盖性图得到变迁发生序列，对得到的序列进行整理，生成测 试用例集；

通过计算Petri网的标识覆盖率、变迁覆盖率，验证生成的测试用例集是否 满足要求。

2.根据权利要求1所述的基于设备生命周期Petri网的WIA-PA协议测试集生成 方法，其特征在于，所述被测对象在WIA-PA网络中的生命周期包括被测对象 加入网络、在网安全/非安全运行和离开网络的完整过程。

3.根据权利要求1所述的基于设备生命周期Petri网的WIA-PA协议测试集生成 方法，其特征在于，所述Petri网的结构信息包括：库所、变迁的前集、后集以 及初始化条件。

4.根据权利要求1所述的基于设备生命周期Petri网的WIA-PA协议测试集生成 方法，其特征在于，所述通过遍历可覆盖性图得到变迁发生序列采用广度优先 搜索算法进行。

5.根据权利要求1所述的基于设备生命周期Petri网的WIA-PA协议测试集生成 方法，其特征在于，所述标识覆盖率通过下式计算：

η=AN×100%]]>

其中，A为遍历标识数，N为标识总数。

6.根据权利要求1所述的基于设备生命周期Petri网的WIA-PA协议测试集生成 方法，其特征在于，所述变迁覆盖率通过下式计算：

γ=BM×100%]]>

其中，B为遍历变迁数，M为变迁总数。