【作者】 丁雪莲；

【导师】 李华；

【作者基本信息】 内蒙古大学 ， 计算机软件与理论， 2006， 硕士

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

【Abstract】 With the development of Internet, an effective and steady routing protocol will be an important factor to ensure performance of network. At present, the routing protocol among domains is Border Gateway Protocol version 4. In future IPv6 network, the routing protocol among domains will be the extension of BGP4 oriented to IPv6, BGP4+. BGP4+ has been attached importance to by many manufacturers who are engaged in routing devices and software. Different manufacturers have different products because of different understanding standard. Therefore, it is a very important work to test the BGP4+ routing products supplied by different manufacturers in order to verify whether BGP4+ protocol implementation conforms to the protocol specification.Protocol conformance testing work includes two main aspects: Protocol Conformance Test System Development and Protocol Test Suite Generation. Our research work can be divided into two parts. In the first part, we design and develop a protocol conformance test system which can support the testing of BGP4+ protocol implementations. The conformance test system based on Windows OS can run standard test suites described by XML. In the second part, the standard test suite is generated. After studying and practicing the BGP4+ thoroughly, we use both Petri net and informal methods to generate the conformance test suite of BGP4+ protocol. Based on Petri net model ,we combine control and data flow to research automatic test case generation.To the characters of BGP4+, we design a template of test suite based on. XML and use it to describe BGP4+ protocol conformance test suite which can be used to actual test work. Furthermore, under the environment of BGP4+ experiment network, we run the test suite on our protocol conformance test system to perform test activities towards BGP4+ routing software and get determinate conclusion.更多还原