关于OSPF动态路由协议一致性测试(1)

    一、引言

　　随着计算机网络和通信技术的发展，特别是开放型异构网络的互联，协议的设计和实现越来越复杂，协议测试的理论和技术得到了相应的发展。协议测试包括4种测试：一致性测试、互操作性测试、性能测试和坚固性测试。其中协议一致性测试主要是验证网络产品的协议实现的准确性，判断网络产品的协议实现是否符合协议的国际标准，以保证协议的各种实现版本之间能够互通并进行可靠的通信。因此，一致性测试是协议测试的最基本内容，是其它3种测试的基础。

　　如今，基于TCP／IP协议的Internet网已成为全球信息发展和交流的基础，它以路由器作为基本交换节点，以各种局域／广域网作为传媒。其中广域网的域内路由协议大多数使用OSPF协议转发路由信息，且OSPF协议主要位于域内的路由器上，它是现有TCP／IP网络中继系统的核心协议。本文介绍协议一致性测试原理和抽象测试方法，重点研究OSPF协议的一致性测试技术，并对OSPF协议测试集的设计进行讨论。

　　二、协议一致性测试

　　1.一致性测试原理

　　ISO／IEC9646提供了协议一致性的基本方法和框架，为测试集制定了设计步骤及描述方法，并对测试系统的实现提供了指导。

　　协议一致性测试实质上是利用一组测试序列，在一定的网络环境下，对被测实现（IUT）进行黑盒测试，通过比较IUT的实际输出与预期输出的异同，判定IUT在多大程度上与协议描述相一致，确立通过一致性测试的IUT在互联时成功率的高低。一致性测试的过程和原理参见图1。图1中，PICS（Protocol Implementation Conformance Statement）为协议实现一致性说明，说明实施的要求、能力及选项实现的情况；PIXIT（Protocol Implementation Extra Information for Testing）为协议实现附加信息，提供测试时必须标明的协议参数。其具体步骤如下：

　　（1）IUT的PICS分析，对IUT进行IUT的静态一致性要求SCR检查，分析该PICS与有关标准指定的SCR是否一致。

　　（2）根据规范定义测试目的，使用PIXIT提供的信息和一致性测试组合量化测试例，写出抽象测试集ATS，然后将ATS参数化生成可执行测试集ETS。