基于着色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.

参考文献

［1］ETSI TS 102 2371, V4.1.1, Telecommunications and internet protocol harmonization over networks (TIPHON) release 4; Interoperability test methods and approaches; Part 1:Generic approach to interoperability testing［S］.France:ETSI,2003.
［2］ETSI EG 202 237,V1.1.2. Methods for testing and specification (MTS); Internet protocol testing (IPT); Generic approach to interoperability testing［S］. France:ETSI, 2007.
［3］ETSI TS 102 517, V2.0.1. Title methods for testing and specification (MTS); Internet protocol testing (IPT):IPv6 core protocol; Interoperability test suite［S］.France:ETSI,2008.
［4］ISO DP 10589, Information technologytelecommunications and information exchange between systemsintermediate system to intermediate system intradomain routing information exchange protocol for use in conjunction with the protocol for providing the connectionlessmode network service (ISO 8473)［S］.2002.
［5］Callon R. Use of OSI ISIS for routing in TCP/IP and dual environments［R］. RFC 1195, Massachusetts:DEC,1995.
［6］Zhao Yulan,Jia Yazhe,Zhang Hongyu.The designing and implementation of protocol test cases automatically generating system based on TTCN3［C］∥Proc of the 2nd International Conference on Future Computer and Communication, 2010:23222325.
［7］Mehrpour H,Karbowiak A E.Modelling and analysis of DOD TCP/IP protocol using numerical petri nets［C］∥Proc of IEEE Region 10 Conference on Computer and Communication Systems, 1990:617622.
［8］Jensen K. Colored petri nets:Basic concepts, analysis methods and practical use［M］. Berlin:SpringerVerlag, 1996.
［9］Jensen K. Colored petri nets:Basic concepts, analysis methods and practical use. Vol. 2, Analysis methods ［M］. Berlin:SpringerVerlag, 1995.
［10］Ratzer A V, Wells L, Lassen H M, et al. CPN tools for editing simulating, and analysing coloured petri nets［C］∥Proc of the 24th International Conference on the Application and Theory of Petri Nets, 2003:450462.
［11］Lü Xinyan, Zhao Baohua, Zhou Hao. A dynamic protocol conformance testing method［J］. Journal of University of Science and Technology of China, 2005, 35(3):338404.(in Chinese)
［12］Hang Chengbao. Research on interoperability testing of OSPFv3 protocol［D］. Hohhot:Inner Mongolia University,2009.(in Chinese)
附中文参考文献:
［11］吕欣岩，赵保华，周颢.一种动态协议一致性测试方法［J］.中国科学技术大学学报，2005, 35(3):338404.
［12］杭成宝. OSPFv3协议的互操作性测试研究［D］.呼和浩特：内蒙古大学, 2009.