论文部分内容阅读
随着支持IPv6路由器产品的日渐增多,各路由协议实现与协议标准的一致性问题也越来越突出。RIPng是用于下一代互联网IPv6的内部网关协议,它是路由信息协议RIP应用于IPv6的版本。RIPng的实现和配置简单而有效,近年来被广泛应用于各种网络环境中。因此RIPng的实现效率高低对路由器的路由性能起着重要的作用。本论文围绕协议一致性测试这个主题,对RIPng协议一致性测试进行了研究。通过对现有的测试方法的分析,选择了适合RIPng协议的虚拟测试法和底层汇聚测试法;通过对当前已有的测试序列生成方法的深入分析和比较,提出了适合于RIPng协议的基于输出序列的OSD测试序列生成方法;通过对RIPng协议详细深入的分析,为其建立有限状态机,并运用OSD方法生成了RIPng协议一致性测试集;最后设计并实现了RIPng协议一致性测试系统,对YH9200、Zebra及Cisco等路由器分别进行了测试。论文主要工作:(1)通过对现有的协议一致性通用测试方法的研究,选择了用虚拟测试法和底层汇聚测试法对RIPng协议进行一致性测试。由于不需要搭建复杂的物理测试环境,不用考虑多物理测试器之间的同步问题,使得整个测试过程更便于控制,测试结果更可靠,更加精确。(2)论文在对协议测试序列生成方法详细分析比较的基础上,提出了一种适合于RIPng协议的测试序列生成方法:基于输出序列的OSD测试序列生成方法,并用该方法生成了RIPng一致性测试集。OSD方法对于使用D方法生成测试序列的局限性进行了很好的补充,而且生成的测试序列与D方法生成的测试序列有同样高的错误检测能力。(3)针对RIPng协议的特点,用C++语言设计并实现了RIPng协议一致性测试系统,并用OSD方法产生的测试集对YH9200、Zebra及Cisco等路由器进行RIPng协议一致性测试,发现了协议实现中与协议标准不一致的地方,也在实践中检验了测试方法和测试例的有效性。