根据基于IPv6的路由协议RIPng、OSPFv3和BGP4+的说明进行路由协议的不确定性分析及其对互操作性测试的影响，通过主动测试、被动测试等方法获取具有迹等价关系的被测的形式模型，给出互操作性测试中识别活锁、可控制和可观察性问题的算法，构建路由协议测试的单一故障模型以及多输入故障模型。搭建测试平台，基于XML进行测试套模板设计，构建测试包，最后进行测试执行。