论文部分内容阅读
随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4＋进行了一致性测试研究；对BGP4及其面向IPv6的扩展PGP4＋进行分析，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。