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