论文部分内容阅读
研究选项对互操作的影响。首先对可选项的作用阶段建立着色Petri网模型并生成部分模型的可达图；然后基于所得可达图采用数据选择的方法生成测试路径集，给出测试路径的生成算法。以OSPFv3协议中的可选项E-bit对OSPFv3协议实现间建立邻接关系的影响为例说明给出方法的有效性，并且搭建OSPFv3互操作测试的平台，测试E-bit对互操作的影响。