基于OSD测试序列生成方法的RIPng协议一致性测试研究与实践

基于OSD测试序列生成方法的RIPng协议一致性测试研究与实践

论文摘要

随着支持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协议一致性测试,发现了协议实现中与协议标准不一致的地方,也在实践中检验了测试方法和测试例的有效性。

论文目录

  • 摘要
  • ABSTRACT
  • 第一章 绪论
  • 1.1 IPv6协议一致性测试的背景
  • 1.2 RIPng协议一致性测试的意义
  • 1.3 论文主要工作及章节安排
  • 第二章 协议一致性测试概述
  • 2.1 协议一致性测试基本概念
  • 2.2 协议一致性测试级别
  • 2.3 协议一致性测试工作流程
  • 2.4 协议形式化模型理论
  • 2.5 一致性测试集内容
  • 2.6 抽象测试集的生成
  • 2.7 本章小结
  • 第三章 RIPng协议分析
  • 3.1 RIP的发展历程
  • 3.2 RIPng的基本工作原理
  • 3.3 RIPng的报文格式
  • 3.4 RIPv1、RIPv2和RIPng的比较
  • 3.5 本章小结
  • 第四章 采用虚拟测试法和底层汇聚测试法的RIPng协议测试
  • 4.1 现有的测试方法及测试结构
  • 4.2 RIPng协议测试方法选择
  • 4.3 虚拟测试法和底层汇聚测试法在RIPng协议测试中的应用
  • 4.4 本章小结
  • 第五章 基于输出序列的OSD测试序列生成方法
  • 5.1 协议的测试序列生成技术
  • 5.1.1 测试序列生成方法概述
  • 5.1.2 基于有限状态机的测试序列生成方法
  • 5.1.3 四种基于有限状态机测试序列生成方法的比较
  • 5.2 基于输出序列的OSD测试序列生成方法
  • 5.3 应用OSD方法生成一致性测试序列步骤
  • 5.4 本章小结
  • 第六章 基于OSD方法的RIPng测试序列生成
  • 6.1 RIPng协议的FSM形式化描述
  • 6.1.1 RIPng协议的FSM形式化模型
  • 6.1.2 RIPng有限状态机
  • 6.2 使用OSD方法生成RIPng的一致性测试序列
  • 6.3 RIPng协议一致性测试集
  • 6.4 本章小结
  • 第七章 测试系统的设计与实践
  • 7.1 测试系统的设计与实现
  • 7.1.1 测试系统环境
  • 7.1.2 测试系统结构
  • 7.1.3 测试系统实现
  • 7.2 测试实践
  • 7.2.1 相关路由器
  • 7.2.2 测试结果统计
  • 7.2.3 测试结果分析
  • 7.3 本章小结
  • 第八章 结束语
  • 致谢
  • 参考文献
  • 作者在学期间取得的学术成果
  • 相关论文文献

    标签:;  ;  ;  

    基于OSD测试序列生成方法的RIPng协议一致性测试研究与实践
    下载Doc文档

    猜你喜欢