随着下一代互连网IPv6的快速发展,作为其重要路由协议的OSPFv3越来越受到路由设备与软件开发商的重视,很快从实验室走向产品化.进行OSPFv3路由协议的一致性测试对实现该协议的设备与软件在验证、完善、推广、调试和改进等方面都有着极其重要的作用.网络协议一致性测试是一项技术难度很高的工作,其中,测试系统和测试套两方面是它的核心.因此,一方面我们设计开发了一个高效的基于Windows平台的支持IPv6及OSPFv3路由协议的协议一致性测试执行系统,用于执行由TTCN协议测试语言描述的标准测试套;另一方面,在对OSPFv3协议的深入研究与长期实践的基础上了解其工作机制,依据协议标准规范与协议状态机设计得到了OSPFv3协议一致性测试目的与测试规范,采用形式化与非形式化相结合的方法生成测试例,并用TTCN语言描述了能够用于实际测试环境的较完整的OSPFv3协议一致性测试套.此外,我们组建了用于进行OSPFv3协议测试研究的试验网,将OSPFv3协议测试套运行于协议一致性测试执行系统平台之上,面向OSPFv3的一些路由软硬件进行了一致性测试实践,得出了一定结论.