互操作性测试研究——BGP4+测试

摘要

针对面向IPv6的边界网关协议BGP4+进行了互操作性测试研究。讨论了BGP4+与BGP4的区别,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例,并给出了运用测试例对具体的协议实现测试的结果。