IS-IS路由协议一致性测试的研究

IS-IS路由协议一致性测试的研究

论文摘要

随着计算机网络规模的不断扩大,大型互联网络的迅猛发展,路由技术在网络技术中已逐渐成为关键部分,路由器也随之成为最重要的网络设备。人们已经不满足于仅在本地网络上共享信息,而希望最大限度的利用全球各个地区、各种类型的网络资源,用户的需求推动着路由技术的发展和路由器的普及,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证网络设备之间互联的重要手段。IS-IS路由协议是目前内部网关协议的主流协议之一,它可以同时运行在OSI和IP两种环境中,在当今的网络中有着广泛的应用。IS-IS采用分层的网络结构,稳定性好、收敛快、可扩展性强,而且在同等规模的网络下需要的资源比其它内部网关协议更少。本文在对IS-IS路由协议分析的基础上,运用形式化与非形式化相结合的方法,对IS-IS进行了协议一致性测试。对邻接关系状态机进行了E-LOTOS描述,并利用自动生成工具PATSAG自动生成了TTCN-3抽象测试例,给出了IS-IS协议的所有可执行测试例。最后在Linux下对路由软件Quagga-0.99.7中实现的IS-IS协议进行了一致性测试,并对测试结果进行了分析。

论文目录

  • 摘要
  • ABSTRACT
  • 目录
  • 图表索引
  • 第一章 绪论
  • 1.1 研究背景
  • 1.2 研究目标和主要工作
  • 1.3 本文中涉及的标准、开发工具及技术
  • 第二章 路由协议一致性测试
  • 2.1 路由协议测试概述
  • 2.1.1 路由协议特点
  • 2.1.2 路由协议测试内容
  • 2.1.3 路由协议的测试方法与手段
  • 2.2 协议一致性测试
  • 2.2.1 一致性测试概论
  • 2.2.2 一致性测试过程
  • 2.2.3 一致性测试方法
  • 第三章 理论基础
  • 3.1 形式描述语言
  • 3.2 测试套描述语言TTCN-3
  • 3.2.1 TTCN-3核心语言
  • 3.3 测试例自动生成工具PATSAG
  • 第四章 IS-IS路由协议
  • 4.1 IS-IS协议概述
  • 4.2 IS-IS协议报文
  • 4.3 IS-IS协议内部机理
  • 4.4 IS-IS路由转发决策
  • 第五章 IS-IS路由协议测试例的生成
  • 5.1 IS-IS的E-LOTOS描述
  • 5.1.1 IS-IS路由协议广播网络邻接关系状态机模块描述
  • 5.1.2 状态、输入/输出事件的E-LOTOS描述
  • 5.1.3 过程及函数描述
  • 5.2 IS-IS路由协议一致性测试例的生成
  • 5.2.1 测试例分类及生成方式概述
  • 5.2.2 广播网络下IS-IS路由协议测试例的生成
  • 5.2.3 点到点网络下IS-IS路由协议测试例的生成
  • 第六章 IS-IS路由协议的一致性测试
  • 6.1 测试方法的选择
  • 6.2 测试环境的实现
  • 6.3 IS-IS路由协议一致性测试过程
  • 6.4 IS-IS路由协议一致性测试结果
  • 第七章 结论与展望
  • 7.1 结论
  • 7.2 展望
  • 参考文献
  • 附录1 IS-IS广播网络邻接关系状态机的E-LOTOS完整描述
  • 致谢
  • 相关论文文献

    • [1].一种基于数字证书的安全IS-IS路由协议[J]. 无线电工程 2016(05)
    • [2].IS-IS路由协议互操作性测试的研究[J]. 计算机科学 2012(S1)
    • [3].IS-IS协议可靠性原理与技术研究[J]. 网络安全技术与应用 2017(07)
    • [4].域内路由协议OSPF与IS-IS差异性的研究与分析[J]. 计算机科学 2015(S1)
    • [5].铁路数据网IS-IS分层优化研究[J]. 铁道通信信号 2018(06)
    • [6].基于着色Petri网的IS-IS路由协议互操作性测试的研究[J]. 计算机工程与科学 2013(12)
    • [7].IS-IS与OSPF路由通讯规程比较之探索[J]. 硅谷 2009(05)
    • [8].铁通内蒙古公司全网部署IS-IS协议研究[J]. 内蒙古科技与经济 2012(17)
    • [9].IS-IS路由协议的研究与仿真[J]. 计算机系统应用 2018(12)
    • [10].IS-IS组网环境下路由环路案例分析[J]. 湖南邮电职业技术学院学报 2014(04)
    • [11].IS-IS路由协议分析与大型网络路由设计[J]. 网络安全技术与应用 2015(03)
    • [12].一种IS-IS网络中的链路异常检测方法、系统、装置、芯片[J]. 科技创新导报 2016(27)
    • [13].IS-IS在纯IPv6园区网络中的应用实践[J]. 通信电源技术 2020(04)
    • [14].面向IS-IS网络的NetMonitor系统的设计与实现[J]. 计算机应用与软件 2015(09)
    • [15].电力通信数据网IGP协议弃OSPF选IS-IS原因分析[J]. 信息通信 2016(06)
    • [16].高性能路由器中集成IS-IS协议路由稳定性研究[J]. 计算机与信息技术 2008(05)
    • [17].IS-IS路由性能监测系统的设计与实现[J]. 计算机工程 2009(02)
    • [18].优化路由器集成IS-IS协议的研究[J]. 大连大学学报 2009(06)
    • [19].徐州广电IP城域网规划[J]. 有线电视技术 2009(12)
    • [20].铁路数据网IS-IS协议下分层结构组网优化[J]. 铁路通信信号工程技术 2019(07)
    • [21].简单动态路由协议在电力内部接入数据网络的应用[J]. 企业科技与发展 2019(01)
    • [22].简单动态路由协议在电力内部接入数据网络的应用[J]. 企业科技与发展 2019(02)

    标签:;  ;  

    IS-IS路由协议一致性测试的研究
    下载Doc文档

    猜你喜欢