Abstract:

Internet has become an undivided part in modern life, therefore an effective and stable protocol becomes more and more important. The paper studies the interoperability testing of ISIS protocol, which is a major interior gateway protocol. Firstly, a hierarchical CPN model of the interoperability testing of ISIS protocol is established. Secondly, the full state space is automatically generated by the CPN tools, and test sequences and test cases are generated according to the test purpose. Finally, a test platform is built in Windows XP and a routing simulation software, named GNS 3, is used to imitate Cisco 7200, Cisco 3640, etc.. The obtained test cases are used to do the ISIS interoperability testing, and the test reports are given after the test results are analyzed.

Key words: IS-IS protocol;interoperability test;colored Petri nets;CPN tools;GNS3 simulator