论文部分内容阅读
在当今信息技术高速发展的社会中,IP地址空间已经消耗殆尽,使得IETF制定了IPv6。IPv6地址拥有128位比特,解决了地址空间不足的问题,而且它还在许多地方提出了改进,比如自动配置方面和路由方面等。协议是网络的基础,协议测试在网络设备的实用性和可靠性上有着重要的意义。OSPF是内部网关路由协议,目前在IPv4环境下的OSPF协议为第二个版本,即OSPFv2,它在IPv6环境下演变成第三个版本OSPFv3,在路由协议中是很重要的协议。因此,对被测设备进行OSPF一致性测试具有重要的意义。本文首先根据路由协议OSPF的协议特点,编写了形式化的抽象测试例,这些测试例被分为几组,都是体现了OSPF协议的基本特征,能够达到协议测试的标准。然后将这些测试例编写成设备可以识别的语言-工具命令语言,根据OSPF协议,研究了如何运用TCL语言进行命令扩展,编写具体的测试用例,分析了编写脚本用例的若干问题,并给出了相应的解决方法。在此基础上,本文还实现了协议一致性测试软件,显示测试执行过程,测试结束后给出测试结果报告,显示测试具体过程并且给出测试结果是否通过,初步实现了协议自动测试。本文在具体网络搭建上,首先是在linux系统上使用quagga路由器仿真软件,建立了典型的网络拓补,然后在H3C路由器上进行了部分实验,给出实验结果和结果分析。