边界网关协议BGP4+的一致性测试研究及分布式测试系统实现

摘要

随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。目前互联网域问路由协议采用的是BGP4，在未来的IPv6网络中，域间路由协议将采用边界网关协议BGP4的扩展版本BGP4+。因此BGP4+越来越受到路由设备与软件开发商的重视。但由于各个生产厂商对协议标准的理解不同，产生的协议实现也各不相同，所以BGP4+的一致性测试工作对实现该协议的设备与软件在验证、调试、改进等方面都有着非常重要的作用。 协议一致性测试的核心工作包括测试系统的开发和测试套的生成。因此，我们做的工作主要是以下两个部分：一部分是设计开发了一个基于Windows平台的BGP4+路由协议的分布式协议一致性测试系统，用于执行由XML描述的标准测试套；另一部分是测试套的生成。我们在对BGP4+协议的深入研究与长期实践的基础上，采用Petri网作为形式化工具并与非形式化方法相结合生成测试例。基于Petri网模型，我们将控制流和数据流结合起来对测试例的自动生成进行了研究。针对BGP4+协议的特点设计了一套基于XML的测试套描述模板，并使用这套模板描述了能够用于实际测试的较完整的BGP4+协议一致性测试套。此外，我们组建了用于进行BGP4+协议测试研究的实验网，将BGP4+协议测试套运行于协议一致性测试平台之上，对具有BGP4+协议功能的路由软件进行了一致性测试，得出了一定的结论。

目录

文摘

英文文摘

引 言

第一章 面向IPv6的边界网关协议BGP4+

第二章 路由协议一致性测试理论和研究现状

第三章 边界网关协议BGP4+分布式测试系统的实现

第四章 基于Petri网的边界网关协议BGP4+的测试例生成

第五章 BGP4+协议的一致性测试实践

第六章 总结和展望

参考文献

附录1 XML测试套模板

附录2可达树的两个分枝

附录3可达树的变迁不变式

致 谢

攻读硕士期间发表的学术论文