学位论文 > 优秀研究生学位论文题录展示

RIPng协议互操作性测试中控制与观察性的研究

作　者: 武茂春
导　师: 李华
学　校: 内蒙古大学
专　业: 计算机科学与技术
关键词: 协议互操作测试 RIPng 有限状态机 Zebra 控制与观察
分类号: TP393.04
类　型: 硕士论文
年　份: 2010年
下　载: 16次
引　用: 0次
阅　读: 论文下载
 

内容摘要


RIP协议是基于距离向量的路由协议,由于其操作简便,系统资源消耗小,适合应用于小型网络。RIPng是基于IPv6的RIP路由协议。为了保证网络中运行RIPng的路由器能够正确互联互通互操作,需要对RIPng协议进行互操作性测试。在协议互操作性测试过程中,如果能够实现控制和观察被测系统中的一个IUT,将会更有助于对互操作测试的研究。本文利用路由软件Zebra对RIPng协议互操作测试中的控制和观察问题进行了如下研究：首先,分析了测试中关于控制和观察问题的研究现状,提出了协议互操作测试中控制和观察问题的定义,在单边互操作测试环境中研究了带有控制和观察点的互操作测试架构。其次,根据RIPng的RFC文档,给出了RIPng的有限状态机(FSM)模型,采用可达图对两个FSM的互操作模型进行了描述。根据协议的实际运行情况,将可达图进行了化简。给出了基于简化可达图的测试序列的生成方法,使用该方法基于简化的可达图生成了测试序列,介绍了RIPng控制和观察点的布置实现。接着,介绍了开源路由软件Zebra及其软件结构和功能,描述了采用Zebra作为研究对象的原因,举例介绍了Zebra的工作过程。设计编写了测试例,实现了在Zebra中插入控制和观察的代码,编写了RIPng路由信息发送工具,进行了可以实现对RIPng控制和观察的互操作性测试。最后,本文给出了下一步的工作。根据现有的工作,对互操作性测试中的控制和观察问题进行更一般化的形式化研究,对RIPng互操作中的控制和观察问题进行更加详细的研究。

全文目录


摘要  4-5
ABSTRACT  5-7
目录  7-10
图目录  10-11
表目录  11-12
第一章 绪论  12-19
  1.1 协议测试介绍  12
  1.2 协议互操作性测试介绍  12-14
  1.3 测试中的控制和观察问题的研究现状  14-17
  1.4 RIPng协议测试的研究现状  17
  1.5 本文的研究工作  17-18
  1.6 文章结构划分  18-19
第二章 协议互操作性测试理论模型  19-27
  2.1 互操作性测试的架构  19-20
  2.2 单边互操作性测试的结构  20
  2.3 协议互操作性测试中控制和观察问题  20-21
  2.4 有限状态机  21-22
  2.5 组合的有限状态机实例模型和可达图  22-25
  2.6 可达图中控制和观察点的实现  25-27
第三章 RIPNG协议概述  27-35
  3.1 RIP协议介绍  27
  3.2 RIP协议消息结构  27-29
    3.2.1 RIPv1消息结构  27-28
    3.2.2 RIPv2消息结构  28-29
  3.3 RIPng协议介绍  29-31
  3.4 RIPng工作原理  31-35
    3.4.1 RIPng的消息类型  31-32
    3.4.2 RIPng的工作过程  32-35
第四章 RIPNG互操作性测试的控制与观察模型  35-46
  4.1 RIPng互操作性测试的控制与观察架构  35
  4.2 RIPng的协议模型  35-38
  4.3 RIPng互操作模型可达图  38-39
  4.4 测试生成  39-41
  4.5 RIPng测试中控制和观察点的实现  41-46
第五章 实验部分  46-57
  5.1 Zebra介绍  46-47
    5.1.1 Zebra功能  46
    5.1.2 Zebra架构  46-47
  5.2 选择Zebra的原因  47-48
  5.3 Zebra中RIPng协议实现分析  48-51
    5.3.1 几个重要的数据结构  48-49
    5.3.2 RIPng连接端口  49
    5.3.3 RIPng认证  49
    5.3.4 RIPng路由更新  49-51
  5.4 发送RIPng路由数据包工具的实现  51-52
  5.5 Zebra的测试执行  52-56
    5.5.1 Zebra中控制点的实现举例  52-53
    5.5.2 Zebra中观察点的实现举例  53-56
  5.6 测试总结  56-57
第六章 工作总结和下一步的工作  57-59
  6.1 本文的工作总结  57
  6.2 下一步的工作  57-59
参考文献  59-62
附录1:两个RIPNGFSM模型的完整可达图  62-63
附录2:简化后的可达图  63-64
致谢  64-65
攻读硕士期间发表的学术论文  65-66
参加项目  66

相似论文

  1. 基于形式化UML测试序列生成方法研究,TP311.53
  2. 基于通信的列车控制系统的协议一致性测试研究,U284.48
  3. MMU协处理器仿真模型的研究及软件仿真实现,TP391.9
  4. 卷绕设备控制系统软件设计和实现,TM571.61
  5. 基于IPv6的IGP路由协议分析与应用,TP393.04
  6. SSL协议的测试方法研究,TP393.08
  7. IKE协议健壮性测试技术研究,TP393.04
  8. 应用于协议栈开发的状态机生成器的设计与实现,TP311.52
  9. 基于SMIL的解析器的研究与实现,TN919.8
  10. 关于直觉模糊有限状态机若干问题的讨论,TP18
  11. 基于扩展有限状态机模型的GIS人机对话模式设计与应用,P208
  12. 基于FPGA的正则表达式匹配技术的研究,TN791
  13. 主被动结合型智能红外监控系统研究和设计,TP277
  14. 一种新型自动售货机控制系统研发,TH692.6
  15. 水下机器人任务规划方法研究,TP242
  16. 控制网络节点可重构协议栈仿真平台的开发,TP273
  17. 关于模糊有限自动机若干问题的研究,TP301.1
  18. 基于BREW的手机游戏开发研究,TP311.52
  19. 基于CTI技术的呼叫中心的设计与实现,TN99
  20. 50KW燃料电池发电机组状态监测与控制系统,TM31

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 通信规程、通信协议
© 2012 www.xueweilunwen.com