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

发布时间：2018-04-11 05:06

  本文选题：IS-IS协议 + 互操作性测试　； 参考：《计算机工程与科学》2013年12期

【摘要】：网络已经成为我们生活当中不可或缺的一部分,高效稳定的路由协议变得日益重要。对主流内部网关协议IS-IS进行了互操作性测试的研究。首先对IS-IS协议建立了分层的互操作性测试的CPN模型;然后使用CPN Tools工具自动生成完全状态空间,根据测试目的生成测试序列,编写测试例;最后搭建测试平台,在Windows XP平台下,使用路由模拟软件GNS 3模拟Cisco 7200、Cisco 3640等设备,用得到的测试例对IS-IS协议进行了互操作性测试,并对测试结果进行了分析,给出了测试报告。
[Abstract]:Network has become an indispensable part of our life, efficient and stable routing protocols become increasingly important.The main internal gateway protocol (IS-IS) is tested for interoperability.Firstly, a layered CPN model of interoperability testing is established for the IS-IS protocol; then, the complete state space is generated automatically by using CPN Tools tool, and the test sequence is generated according to the purpose of the test. Finally, the test platform is built, and the test platform is built under the Windows XP platform.Using the route simulation software GNS 3 to simulate the Cisco 7200 GNS 3640 and other devices, the interoperability test of IS-IS protocol is carried out with the test examples, and the test results are analyzed, and the test report is given.
【作者单位】： 内蒙古大学计算机学院;
【基金】：国家自然科学基金资助项目(31360289,31160253)
【分类号】：TP393.04

【参考文献】

相关期刊论文 前1条

1 吕欣岩,赵保华,周颢;一种动态协议一致性测试方法[J];中国科学技术大学学报;2005年03期

【共引文献】

相关期刊论文 前4条

1 刁俊玲;吴信才;刘永;刘福江;罗显刚;;地理信息标准一致性测试建模[J];地理与地理信息科学;2010年05期

2 林华辉;赵保华;屈玉贵;;基于有向图的最小完全覆盖互操作测试序列生成算法[J];中国科学技术大学学报;2006年02期

3 赵保华;姜振海;;一种提高协议测试效率的新方法[J];中国科学技术大学学报;2006年08期

4 赵保华;陈波;屈玉贵;;一种改进的转换可执行分析测试序列生成算法[J];中国科学技术大学学报;2007年09期

相关博士学位论文 前2条

1 林华辉;协议互操作性测试理论与方法研究[D];中国科学技术大学;2007年

2 张炜;基于状态机模型的协议被动测试研究[D];中国科学技术大学;2007年

相关硕士学位论文 前5条

1 亓泽超;协议一致性测试序列生成及错误诊断算法设计[D];西安电子科技大学;2011年

2 张弘宇;基于CPN的IS-IS路由协议互操作性测试的研究[D];内蒙古大学;2011年

3 李旭;VOIP系统测试方法的分析与改进[D];华东师范大学;2008年

4 王晟;WiMAX基站软件平台中关键技术研究[D];华中科技大学;2008年

5 徐进;业余无线电空间电台通信协议设计与实现[D];北京邮电大学;2010年

【相似文献】

相关期刊论文 前10条

1 李华;叶新铭;;协议互操作性测试综述[J];内蒙古大学学报(自然科学版);2008年05期

2 黄树采,李为民,张多林;防空武器系统的着色Petri网络建模与仿真[J];计算机工程;2004年23期

3 倪悦;范玉顺;;基于着色Petri网的语义Web服务组合形式化验证[J];清华大学学报(自然科学版);2010年05期

4 陈金峰,刘惠义;基于着色Petri网的多Agent交互[J];计算机应用与软件;2005年10期

5 刘进;陈丹;肖德宝;;基于着色petri网的安全协议验证方法[J];华中师范大学学报(自然科学版);2006年03期

6 时梅林;张宜军;;基于着色Petri网的交换式局域网仿真[J];中国新通信;2009年13期

7 杭成宝;樊月旺;李华;叶新铭;王佳;;计算机网络协议测试技术分析[J];内蒙古科技与经济;2008年19期

8 丁雪莲;;互操作性测试研究——BGP4+测试[J];微型机与应用;2011年15期

9 郝瑞兵，徐明伟，张志豪，刘方遒，吴建平;分布式测试法在协议测试中的实现与应用[J];小型微型计算机系统;1996年06期

10 肖兵,瞿坦,王明哲;着色Petri网及其在系统建模与仿真中的应用[J];计算机工程;2001年01期

相关会议论文 前4条

1 李丹;董喜明;阎海;;PLSB的环路保护设计[A];中国通信学会第六届学术年会论文集（下）[C];2009年

2 骆昊;曾华q，

本文编号：1734537