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