文档介绍：基于Petri网的WIA-PA协议一致性测试工具摘要:WIA-PA协议一致性测试系统在测试效率和测试覆盖率方面往往难以满足测试需求,而且缺乏测试结果的错误诊断。文章针对提高测试效率、增加测试覆盖度、测试结果错误的需求,设计了基于Petri网的WIA-PA协议一致性测试工具。该工具搭建了基于Petri网的WIA-PA-致性测试系统,可对未通过的测试案例进行错误诊断,且测试效率可提高2倍,同时测试覆盖度也得到了明显提升。关键词:WIA-PA协议;Petri网;错误诊断;一致性测试系统中图分类号:TP393文献标识码:A文章编号:2095-1302(2016)01-00-030引言WTA-PA[1](Wire!worksforIndustrialAutomation-ProcessAutomation)技术的Fl渐成熟已成为国际丁业无线通信的三大通信标准之一,在环境复杂和条件恶劣的工业现场应用中,其凭借着自身可靠性高、实时性强、功耗低、抗干扰能力强等技术优势,逐渐取代了人工现场操作,从而避免了不必要的人员伤亡,极大地降低了工业系统的运营成木。随着工业选线通信标准化的推进以及各大企业产品陆续研发,对工业无线通信标准的一致性测试就显得非常迫切和必要,但是,在WIA-PA一析等方面的不足。针对上述问题,木文提出了一种基于Pet门网的分布式协议一致性测试工具,并可对协议一致性测试结果进行进一步的深度分析,对未能通过协议一致性测试的测试案例进行错误诊断,同时可定位错误原因。1Petri网基础知识Petri网[2]是由德国廊士研究生CarlAdamPetri在其博士论文“用自动机通信”中提出的,提出以网论作为基础,用网状图形来描述通信系统的结构,Petri网作为一个通用的数学工具来描述条件和时间之间的关系。科研人员对Petri网的建模、分析技术进行了大量的研究,并取得了显著的成效。随着Petri网技术的逐渐发展与实用化,其应用领域也在不断扩张,基于Petri网的错误诊断技术也广泛应用于不同领域的不同系统,同时科研人员也在対英不断研究、继续完善。下面给出在本文建模与分析网络性能确定上界过程屮所需要用到的定义和定理:定义1Petri网定义:将Petri网定义为一个六元组,N二{P,T,T,0,M,m0}[3],其中:P二{pl,p2,…,pn}是一组有限的库所集,并且n^O;T={tl,t2,…,tn}是一组有限的变迁集,并且n20;I:PXT-{0,1}为库所和变迁关系的输入关联矩阵;0:TXP-{0,1}表示变迁和库所关系的输出关联矩阵;M:I,0-{1,2,3,・・・}是权重函数;mO:表示Petri网系统的初始标识,用MO=[ml(0),m2(0),…,时,该标识为M(k)二[ml(k),m2(k),-mn(k)]T,也可以认为是每个库所拥有的托肯数。定义2P/T系统:P/T系统刀为一六元组刀二(P,T;F,K,W,M0)[4],构成P/T系统的条件是:刀的基网是N二(P,T;F),并且基网为有向网;K:P->{1,2,3・・・}是库所的容量函数;W:F-{0,1,2,3・・・},是有向弧的权函数;M0是系统初始标识。在P/T系统屮,函数M是系统工的状态标识,变迁t(teT)在M下点火使能的条件是pep:M(p)2W(p,t)A{M(p)+W(t,p)WK(p)}