IGMP协议一致性测试研究与实现

在介绍IGMP协议的基础上 ,结合高端路由器开发的工程实践 ,介绍了IGMP一致性测试系统的结构 ,给出测试方法、案例生成和测试集结构 ,最后介绍了利用此系统进行的实际测试执行。

EPA协议状态机的一致性测试方法及实现

以太网工厂自动化协议状态机的一致性测试方法,是将标准以太网工厂自动化服务原语序列作为激励输入被测协议实现,并检验其输出与预期输出是否一致,从而对以太网工厂自动化协议状态机实现与协议之间的一致性程度作出评判。针对以太网工厂自动化协议状态机状态变迁的约定,通过改变状态、获取状态和验证状态3个步骤,评判该协议状态机在状态变迁的条件、状态变迁的事件和具体状态所支持的操作3个方面与协议约定之间的一致性,从而使通过状态机一致性测试的不同协议实现之间的可靠互联概率得到提高。

一种互操作测试的建模及测试选择方法

互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作.

协议测试技术分析与研究

随着网络通讯技术的飞速发展,通讯协议的规范性严重制约着网络交互和通讯服务的质量。协议测试的地位也越发显得重要。本文针对协议测试中的一致性测试和互操作性测试内容进行理论分析,对比两种测试的差异,并明确两者关系以及在协议测试中的重要作用,研究结果能够为实际的测试执行提供选择依据。