随着通信技术的迅速发展，网络以及通信协议日益复杂。实际的网络是由多个网络设备组建而成的。作为网络的核心，路由设备和运行在其上的路由协议实现的正确性对网络性能起着举足轻重的作用。路由协议的一致性测试是保证各种网络路由设备相互连通，正确相互操作的重要手段。 IS-IS(Intermediate System-to-Intermediate System)协议是一种得到广泛应用的、功能强大的路由选择协议。它既适合于CLNPfConnectionLesss NetworkProtocol，无连接网络协议)网络，又适合于工P网络。实践证明，在IP世界里，IS-IS路由选择协议是应用于工SP网络中的IGP协议OSPF唯一的可替代协议。IS-IS路由选择协议也是当今许多层1ISP网络的IGP选择。本文在分析了IS-IS协议的特点基础上对其进行了一致性测试的研究，这首先需要建立一个一致性测试系统。为此，研究工作分四步来实施：首先设计测试系统的结构框架并开发实现；第二步是开发实现底层支持模块以及IS-IS协议的协议模块；第三步是编写较为完备的可执行测试套；最后是在实现的测试系统中完成对IS-IS协议的一致性测试。 本文主要完成了以下几方面的工作： 1)系统介绍了协议测试和形式化的相关理论，重点讨论了一致性测试的过程、模型、方法，以及协议的形式化模型、形式化描述和测试序列的生成方法。 2)根据协议的形式化理论和测试序列生成理论，对IS-IS协议的Petri网模型、FSM模型、SDL形式化描述以及UIO方法生成协议一致性测试序列进行了研究。 3)设计了基于TCL的IS-IS协议一致性测试系统，并且设计了基于层次结构的IS-IS协议测试方法。 4)开发出IS-IS协议一致性测试的可执行测试脚本，并在实现了的测试系统中运行，完成了对IS-IS协议的一致性测试。