信息化已成为当今社会发展的大趋势,而网络的快速发展与普及,加快了这一进程。如今,网络已经成为我们生活当中不可或缺的一部分。高效稳定的路由协议,作为保障网络性能的重要因素,也受到人们的高度重视。协议测试是保证协议实现能够在实际环境中正确运行的重要手段。然而,单纯的进行一致性测试是不够的,因此,有必要进行互操作性测试的研究。IS-IS路由协议是一种主流的内部网关协议,具有分层的网络路由、可扩展性强、收敛速度快、稳定性好、占用资源少等特点。因此,在一些大型网络当中,IS-IS路由协议得到了越来越多的应用。本文首先对IS-IS协议进行了研究。通过对相关协议规范的研究,建立IS-IS协议的互操作性测试的FSM模型,结合层次化的思想和MSC消息序列图,将FSM模型向CPN模型进行转换,得到分层的IS-IS协议互操作性测试的CPN模型。其次,使用CPN Tools工具,自动生成完全状态空间。对完全状态空间进行分析,根据测试目的,生成测试序列,编写测试例,并且手工抽取一些必要的测试例,作为对测试集的补充。最后,搭建测试平台,进行互操作性测试。在Windows XP平台下,使用路由模拟软件GNS 3模拟Cisco 7200、Cisco 3640等设备,用得到的测试例对其进行测试,并对实验结果进行分析。