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