IS-IS路由协议互操作性测试的研究

网络已经成为人们生活中不可或缺的一部分，高效稳定的路由协议变得日益重要。IS_IS路由协议是一种主流的内部网关协议，在一些大型网络当中得到了越来越多的应用。对Is-Is协议互操作性测试进行了研究，使用扩展的Petri网建立了分层的Is-Is协议互操作性测试的交互模型。然后使用可达图对Petri网模型进行分析，根据测试目的，生成测试序列，编写测试例，并手工抽取一些必要的测试例，作为对测试集的补充。最后，搭建测试平台，进行互操作性测试，并对实验结果进行分析。

Research on IS-IS Interoperability Testing

Internet has become an integral part of our life, and it is important to have routing protocols that arc effective and stable. IS-IS is a major interior gateway protocol which is applied in some large networks widely. We researched the IS-IS interoperability testing, and established a layered IS-IS protocol interoperability testing interactive model based on the Extended Petri Net. Then we analyzed the Petri net model by using the reachability graph. According to test purpose and generated test sequences, we programed test cases and took some necessary test cases manually as a complement of the test set, Finally, we built the test platform for interoperability testing, and analyzed the test results.