基于Petri网进程的协议测试例生成方法及其实例

Protocol Test Case Forming Approach with Petri Net Process

提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。

A protocol test case production method based on Petri net is proposed in this paper.The method is used to obtain the test cases covering protocol behaviors as far as possible.Using Petri net process,each actual test case can be represented graphically.Using Petri net operations such as connection,union and closure,simple test cases can be combined to obtain complicated cases those are used to test complex protocol behaviors.With an actual example,the protocol test case production process of LAPD protocol is given.With this method,the protocol analysis can be more accurate and precise.