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

随着网络规模以及网络处理速度的飞速增长,高效稳定的路由协议成为保障网络性能的重要因素.协议的一致性测试是保证网络设备之间正确、安全和高效互连的有效手段.IS-IS路由协议作为内部网关协议的主流协议,在现今的网络中有广泛的部署.本文在对IS-IS协议进行分析的基础上选择和实现了适当的测试方法和测试案例,利用现有测试系统Annvl提供的公共环境,设计并实现了Zebra上的IS-IS路由协议一致性测试框架.     

基于集成IS—IS路由协议网络拓扑发现初探

介绍了网络拓扑发现研究和实现的现状，提出对集成IS-IS协议网络拓扑发现和还原的必要性与可行性。描述了集成IS-IS路由协议及分组类型，确定重点分组报文——链路状态分组LSP报文是拓扑发现和还原的核心，并针对网络捕获的LSP数据进行细致分析和还原。最后构建了一个纯IP的集成IS-IS协议的试验网络进行还原对比。     

IPv6中IS-ISv6协议的一致性测试系统设计与实现

根据协议一致性测试的特点和要求,针对IS-IS协议的特点,介绍了一种IS-ISv6协议一致性测试系统的设计方法.该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试例的描述语言,具有很好的测试能力和灵活性.本文在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析.     

IS-IS路由泄漏技术及其应用

首先介绍了IS-IS路由协议，然后介绍了IS-IS路由泄漏技术的原理，对IS-IS路由泄漏的实际应用进行了分析，并给出了IS-IS路由泄漏技术的路由器配置实例。     

基于集成IS-IS路由协议网络拓扑发现初探

介绍了网络拓扑发现研究和实现的现状,提出对集成IS-IS协议网络拓扑发现和还原的必要性与可行性。描述了集成IS-IS路由协议及分组类型,确定重点分组报文——链路状态分组LSP报文是拓扑发现和还原的核心,并针对网络捕获的LSP数据进行细致分析和还原。最后构建了一个纯IP的集成IS-IS协议的试验网络进行还原对比。     

IS-IS路由协议的研究与仿真

IS-IS是一种链路状态路由协议,相比OSPF更高效而稳定的特性被从OSI引入到TCP/IP协议栈,其既支持CLNP也支持IP路由.在对IS-IS协议NSAP地址、区域类型、报文类型及工作原理等深入研究的基础上,设计了一种多区域多网络类型的IS-IS实验网络模型,并通过Dynamips仿真平台实现.结合抓包及对IS-IS LSDB等等表分析,仿真结果验证了IS-IS协议机制和原理,为在实际网络中的部署提供了参考,并且该实例可直接迁移到实际网络中.     

面向IS-IS网络的NetMonitor系统的设计与实现

随着互联网应用的日趋广泛,网络的正常运行变得越来越重要,网络路由监测成为网络管理的重要组成部分。网络路由监测最常用的方法就是分析内部网关协议报文。IS-IS(Intermediate system to Intermediate system)协议是目前ISP广泛应用在大型网络中的内部网关协议之一。在对目前比较成熟的面向IS-IS网络的路由监测系统充分研究的基础上,设计并实现了一款针对IS-IS网络的Net Monitor系统。此系统较现有系统占用网络资源少,部署简单,能提供可视化的网络拓扑以便客观发现并分析网络中的异常。介绍系统整体架构与模块划分,详细阐述路由异常发现方法,提出网络采集设备的部署方案。通过使用仿真网络环境对系统测试,实验结果证实该系统满足网络监测对可靠性和实时性的要求,为网络运营管理提供决策依据。     

IS-IS路由协议分析与大型网络路由设计

作为链路状态路由协议,IS-IS路由协议具有极其优异的性能,适合大规模IP网络内部网关协议路由协议(IGP)。大型的IP网络中路由的规划与设计是一项复杂的任务,IS-IS适合大型IP网络的域内路由协议。本文针对IS-IS协议的特点,结合探讨区域的规划与设计、IP规划、CLNS地址规划、链路状体级别的规划等多个方面对IS-IS路由协议进行分析和提出设计思路。     

NOC协议设计研究

片上网络芯片设计涵盖芯片设计的诸多方面,尤其是网络芯片的协议设计.论文主要研究网络芯片协议设计实现方式以及网络芯片的层次栈的划分,列出网络芯片所需要的协议层次.在网络芯片的协议层次中,分别对物理层、数据链路层、网络层、传输层的协议的设计重点与设计方实现进行阐述,而且介绍各个层次的设计关键技术和解决的方法.     

基于XML的OSPFv3一致性测试研究

协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究，分析了OSPFv2和OSPFv3的不同，给出了用XML来描述OSPFv3测试套的测试模板，并对OSPFv3协议在Linux下的实现进行了一致性测试，列举了部分测试结果，对测试结果进行了分析，发现了被测实现存在与协议说明不一致的地方。     

IS-IS路由协议互操作性测试的研究

网络已经成为人们生活中不可或缺的一部分,高效稳定的路由协议变得日益重要。IS_IS路由协议是一种主流的内部网关协议,在一些大型网络当中得到了越来越多的应用。对Is-Is协议互操作性测试进行了研究,使用扩展的Petri网建立了分层的Is-Is协议互操作性测试的交互模型。然后使用可达图对Petri网模型进行分析,根据测试目的,生成测试序列,编写测试例,并手工抽取一些必要的测试例,作为对测试集的补充。最后,搭建测试平台,进行互操作性测试,并对实验结果进行分析。     

IS-IS协议链路状态数据库同步与路由计算研究

IS-IS is one of the interior gateway protocol, widely used by telecom operators. There are many differences between Link State Database synchronization and routing computation and OSPF. This paper studies on the IS-IS protocol from the perspective of neighbor relationship establishment and synchronization, and compares it with OSPF protocol, trying to clarify the principle and pro- cess of Link State Database synchronization and routing calculation of IS-IS protocol, which has certain reference for the study of IS- IS routing protocol.     

IS-IS路由性能监测系统的设计与实现

设计分布式中间系统-中间系统（IS—IS）路由性能监测系统,采用被动监测的方案,分析IS—IS路由协议交互过程中的数据包,利用路由变更和路由拓扑整合算法真实动态地呈现网络拓扑及路由变化,在实验网中进行测试以验证该系统的功能和性能,其监测结果可为网络的运行和维护提供重要依据。     

IS-ISv6协议一致性测试系统设计与实现

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

A formal method to real-time protocol interoperability testing

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.