基于Petri网进程的协议测试例生成方法及其实例
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。
协议测试例 LAPD协议 Petri网 集合生成
范昊 束德勤
山东农业大学信息科学与工程学院,泰安 271018
国内会议
天津
中文
25-28
2009-08-22（万方平台首次上网日期，不代表论文的发表时间）