基于着色Petri网的IS-IS路由协议互操作性测试的研究

J4 ›› 2013, Vol. 35 ›› Issue (12): 90-95.

基于着色Petri网的IS-IS路由协议互操作性测试的研究

赵玉兰，冀超，蒋凤仙，朱洋洋，雷厉霆，张志斌

（内蒙古大学计算机学院，内蒙古呼和浩特 010021）

收稿日期:2013-08-03 修回日期:2013-10-02 出版日期:2013-12-25 发布日期:2013-12-25
基金资助:
国家自然科学基金资助项目(31360289,31160253)

Research of IS-IS interoperability testing based on colored Petri nets

ZHAO Yulan,JI Chao,JIANG Fengxian,ZHU Yangyang,LEI Liting，ZHANG Zhibin

(Department of Computer Science,Inner Mongolia University,Hohhot 010021,China)

Received:2013-08-03 Revised:2013-10-02 Online:2013-12-25 Published:2013-12-25

摘要/Abstract

摘要：

网络已经成为我们生活当中不可或缺的一部分，高效稳定的路由协议变得日益重要。对主流内部网关协议ISIS进行了互操作性测试的研究。首先对ISIS协议建立了分层的互操作性测试的CPN模型；然后使用CPN Tools工具自动生成完全状态空间，根据测试目的生成测试序列，编写测试例；最后搭建测试平台，在Windows XP平台下，使用路由模拟软件GNS 3模拟Cisco 7200、Cisco 3640等设备，用得到的测试例对ISIS协议进行了互操作性测试，并对测试结果进行了分析，给出了测试报告。

关键词: IS-IS协议；互操作性测试；着色Petri网；CPN Tools；GNS3模拟器

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

赵玉兰，冀超，蒋凤仙，朱洋洋，雷厉霆，张志斌. 基于着色Petri网的IS-IS路由协议互操作性测试的研究[J]. J4, 2013, 35(12): 90-95.

ZHAO Yulan,JI Chao,JIANG Fengxian,ZHU Yangyang,LEI Liting，ZHANG Zhibin. Research of IS-IS interoperability testing based on colored Petri nets [J]. J4, 2013, 35(12): 90-95.