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