[发明专利]基于设备生命周期Petri网的WIA-PA协议测试集生成方法在审
| 申请号： | 201410557228.0 | 申请日： | 2014-10-20 |
| 公开（公告）号： | CN105591827A | 公开（公告）日： | 2016-05-18 |
| 发明（设计）人： | 梁炜;张思超;王恺;孙亮;张晓玲 | 申请（专利权）人： | 中国科学院沈阳自动化研究所 |
| 主分类号： | H04L12/26 | 分类号： | H04L12/26 |
| 代理公司： | 沈阳科苑专利商标代理有限公司 21002 | 代理人： | 徐丽;周秀梅 |
| 地址： | 110016 *** | 国省代码： | 辽宁;21 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明请求保护一种基于设备生命周期Petri网的WIA-PA协议测试集生成方法，具体涉及工业无线传感器网络技术。本发明面向WIA-PA网络的设备类型、拓扑结构、协议栈结构等特点，按照设备生命周期，建立Petri网模型，分析与验证模型结构的库所、变迁及初始化条件等信息，生成变迁发生序列，最终为设备生成一个以加入过程、运行过程和离开过程为主体的全生命周期测试集。本发明为测试所开发WIA-PA设备与WIA-PA标准的符合度提供了有效测试方法，以保证不同厂家所开发WIA-PA设备的互联与互操作。 | ||
| 搜索关键词： | 基于 设备 生命周期 petri wia pa 协议 测试 生成 方法 | ||
【主权项】：
一种基于设备生命周期Petri网的WIA‑PA协议测试集生成方法，其特征在于，包括以下步骤：根据被测对象在WIA‑PA网络中的生命周期建立Petri网模型；收集Petri网的结构信息；利用所述结构信息，分析Petri网模型的活性、有界性、安全性、可达性；通过遍历可覆盖性图得到变迁发生序列，对得到的序列进行整理，生成测试用例集；通过计算Petri网的标识覆盖率、变迁覆盖率，验证生成的测试用例集是否满足要求。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院沈阳自动化研究所，未经中国科学院沈阳自动化研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410557228.0/，转载请声明来源钻瓜专利网。
