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


五、OSPF协议测试集的设计 测试集是协议一致性测试的基础 , 它是以最基本的测试事件序列的形式 , 具体定义了测试系统和协议实体的行为 , 从而作出测试“通过”或“失败”的判决 , 测试集有如下的层次结构:测试集→测试组→测试例→测试步→测试事件 。采用TTCN形式化语言可以描述出测试集 。OSPF协议与OSI协议相比较 , OSPF协议行为较简单 , 在对等实体之间没有用于建链或流控的数据包交换 。我们按照ISO/IEC9646的建议 , 根据协议描述分析及条件合成 , 生成测试目的 , 设计和产生出OSPF协议测试集 , 编写出OSPF协议测试规范 。产生的OSPF测试集包括5个测试组 , 共69个测试例(见表1) 。表1 OSPF测试集这些测试组(例)涵盖了OSPF协议描述中的主要功能 , 具有较好的完备性 。六、测试应用 按照本文讨论的测试方法和结构 , 测试工具使用Agilent公司的QA Robot测试仪来进行OSPF协议一致性测试 。也可使用清华大学研制开发的基于TTCN的PITS测试系统 。QARobot测试仪使用QBOL语言生成ETS , 通过QBOL编辑器进行编译 , 内部使用UNIX操作系统 , 有着可视化的界面操作 。我们参加了国家“863”宽带信息示范网核心路由器的测试工作 。采用QARobot测试仪 , 分别对中兴公司、巨龙公司和大唐公司研制的核心路由器进行了OSPF协议的一致性测试 。各路由器经过OSPF协议一致性测试后 , 其中的OSPF模块的功能和性能有了明显的改善 , 测试例通过率从50%提高到将近90% 。通过实践证实 , 在协议软件的设计和开发过程中 , 一致性测试是用来检测定位错误 , 同时又能提供修正建议的好方法 。

推荐阅读