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

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

基于CPEBSDL通信协议的Petri网建模方法

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。

帧中继网络中的优先级控制机制及其性能分析

概要介绍了帧中继网络的协议结构及特点，提出了一种符合协议要求的优先级服务控制机制及与之相对应的排队模型；并在此基础上，详细介绍了一种混合缓存器分配方案。给出了详细的计算机仿真分析结果。

帧中继网络中的优先级控制机制及其性能分析

概要介绍了帧中继网络的协议结构及特点,提出了一种符合协议要求的优先级服务控制机制及与之相对应的排队模型。并在此基础上,详细介绍了一种混合缓存器分配方案.给出了详细的计算机仿真分析结果。