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

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

作　　者：赵玉兰[1] 冀超[1] 蒋凤仙[1] 朱洋洋[1] 雷厉霆[1] 张志斌[1] 

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010021

出　　处：《计算机工程与科学》2013年第12期90-95,共6页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(31360289;31160253)

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

关 键 词：IS-IS协议 互操作性测试 着色PETRI网 CPN TOOLS GNS3模拟器 

分 类 号：TP306.2[自动化与计算机技术—计算机系统结构]