基于设备生命周期Petri网的WIA-PA协议一致性测试方法
来源：信息与控制杂志2015年第6期北京时间：
作者：孙亮, 梁炜, 王恺, 张思超, 苗乔木
摘要：针对传统分层协议测试方法面对WIA-PA跨层协议栈架构、混合拓扑结构等情形存在重复测试、测试集不完备等问题，提出了基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法. 针对WIA-PA设备从加入网络到离开网络的整个生命周期，建立Petri网模型；并利用可覆盖性图进行动态特征分析，进而抽取WIA-PA的一致性测试集. 该文设计并开发了WIA-PA协议一致性测试平台，基于该平台比较了分层测试方法和基于设备生命周期的测试方法，对比结果显示了所提方法的有效性.
关键词：WIA-PA协议, 一致性测试, Petri网, 测试平台
