论文部分内容阅读
随着计算机网络的发展，由于IPV4协议的不足，IPV6协议应运而生。由于各协议实现厂家对协议的不同理解，通信设备的协议一致性问题日趋严重，因此对IPV6协议簇的实现进行一致性测试变得越来越重要。BGP4+协议是支持IPV6协议的多协议扩展的外部网关路由选择协议，对BGP4+协议支持IPV6协议的扩展部分进行协议一致性测试是必要的。 本文针对BGP4+协议的一致性测试问题，探讨了路由协议一致性测试的方法。根据路由协议的特点，我们采用远程测试法，并使用自动和手工相结合的方法产生了BGP4+协议的测试集。对于协议中能够用形式化方法建模的部分，使用FSM建模，然后使用扩展的UIO方法产生测试例。对于无法用形式化方法建模的部分，通过分析协议，手工产生测试例。 NML是一种独立于平台的数据描述语言，是Internet上表示和传递数据的Web标准，它的元素和标记的定义以及使用规则简单，容易掌握，编辑的测试例经过解析可以直接由执行系统执行，因此我们采用XML描述BGP4+测试例。本文给出了XML描述BGP4+测试套的XML标记，这些标记能够完整描述BGP4+协议的所有测试套，而且我们的XML标记可根据具体路由协议的需要进行扩展。 本文设计实现了一个基于XML描述测试例的Linux系统下的协议一致性测试系统，该系统不但可以按照测试配置执行测试套，而且支持测试步的并发。 最后在我们开发的测试系统上，对Zebra路由软件实现的BGP4+协议中支持IPV6协议的扩展部分进行了一致性测试，给出了测试报告。