论文部分内容阅读
协议测试是保证各种协议实体之间能够互联和可靠性操作的重要基础。为了对当前网络所研究的高性能路由器进行系统的协议测试,本文深入研究了ANVL(Automated Network Validation Library)系统,在此基础上提出了进行协议测试开发的一般方法,并对IP/ICMP协议一致性协议测试进行了实现。 本文介绍了当前协议一致性测试的国际标准—ISO9646,系统阐述了一致性测试的基本理论和方法,研究了测试执行系统——ANVL系统,给出了测试开发的一般过程和方法。进行测试开发首先要选择测试方法,对端系统选择远程测试法,对中继系统选择横断测试方法。其次是进行测试序列的设计,分为基于有限状态机的测试序列生成和基于测试目的的测试序列生成,我们给出了基于有限状态机的测试序列生成的一般算法。在基于测试目的的测试案例设计中,给出不能使用形式化方法而必须手动实现的案例设计方法。再次,我们介绍使用TTCN来进行测试描述。最后,详细介绍了在ANVL中实现测试套需要进行的工作。 由于IP协议是Internet的核心,ICMP协议是IP协议的差错和控制协议,所以我们认真分析这两个协议的规范,利用上述的协议开发的基本方法,同时对路由器中IP和ICMP协议进行一致性测试实现。最后介绍了IP/ICMP协议测试进行的实际活动,分析了CISCO7200和网络所研制的GF8516核心路由器的测试结果,提出了后者在IP和ICMP协议实现上的改进意见。