边界网关协议BGP4＋的一致性测试研究

随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4＋进行了一致性测试研究；对BGP4及其面向IPv6的扩展PGP4＋进行分析，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。     

基于SoT的BGP4+协议一致性测试系统设计

底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。     

基于路由软件的BGP4+协议测试平台搭建方法

随着下一代互连网IPv6的快速发展,作为其重要边界路由协议的BGP4+越来越受到路由设备与软件开发商的重视,很快从实验室走向产品化,因此对BGP4+进行一致性测试具有极其重要的作用。概要性地论述BGP4+协议,介绍路由软件Zebra,详细给出用Linux环境下的路由软件Zebra组建支持IPv6的BGP4+协议一致性测试平台的方法。     

基于TCL的BGP协议一致性自动化测试系统设计

文章介绍了一种基于Tcl的BGP4以及BGP4+协议自动化测试系统的设计方法,该系统使用了一种针对网络协议测试特点的分布式虚拟测试法,并且根据路由协议测试的特点增加了控制通道,由一个统一的控制模块组织多个虚拟测试体协同工作实现对待测体的测试,使用在线配置脚本化的方法实现系统的自动化测试,并成功地对多个不同的BGP4以及BGP4+协议实现进行了测试,文中给出了测试实例,分析了测试结果,并提出了进一步的工作方向。     

BGP4+协议一致性测试系统设计与实现*

BGP4+是一种在自治系统间运行的动态路由协议,其功能是在自治系统间交换网络层可达信息。IPv6协议作为下一代互联网最有竞争力的核心协议成为研究热点。BGP4+是IPv6最重要的路由协议,已经在路由器等网络设备中得到广泛实现。如何保证各网络设备协议实现的一致性,是保证各设备可以互连、互操作的关键。在介绍BGP4+的基础上,设计并实现了BGP4+的协议一致性测试系统,并对一基于FreeBSD平台的BGP4+一致性测试实现的结果进行了分析。     

BGP4＋互操作性测试研究

BGP4是最主要的域间路由协议,BGP4 是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要.本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4 的功能、路由类型以及数据包种类.根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4 的互操作性测试套.然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作.     

基于多协议扩展边界网关协议BGP4+的形式化建模研究

协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.     

基于TCL的IPv6中BGP一致性测试系统设计

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

基于Petri-All-P-Uses的BGP4+可执行测试序列生成

首先介绍将BGP4+的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4+的Petri网模型直接进行可执行测试序列的自动生成,同时给出生成算法。     

IPv6邻居发现协议的一致性测试

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。     

核心路由器BGP-4协议实现技术的研究

BGP－4是一个用于自治系统间的路由协议，它的主要功能是在各自治系统之间的交换网络可达性信息。为了支持内干网互连，核心路由器必须支持BGP－4协议，本文主要介绍了国防科技大学计算机学院研制的核心路由器中GBP－4协议的具体实现，描述了其体系结构，组成模块，主要特征及实现过程中遇到的技术难点，给出了相应的解决方法。     

面向IPv6的边界网关路由协议BGP4+的设计与实现

随着IPv4地址空间的耗尽，下一代互联网络协议IPv6的应用已经迫在眉睫．在未来的IPv6网络中，域间路由协议仍然将采用边界网关协议BGP4．本文首先详细分析了BGP4面向IPv6的扩展BGP4 ．设计了BGP4 协议实现的总体结构．讨论了其中的关键技术难点．目前，BGP4 协议已经在基于VxWorks的IPv6路由器原型系统中实现．     

BGP4+协议一致性测试系统设计与实现

在介绍BGP4＋协议的基础上，设计并实现了该协议的一致性测试系统；提出了用于中继系统一致性测试的虚拟多端口的测试方法，解决了测试系统物理端口不够的问题；还介绍了一个新的测试例描述语言。     

面向IPv4／v6的BGP平滑重启的设计与实现

BGP通过平滑重启机制,可以最小化BGP重启所引起的对路由的负面影响,保证BGP在重启阶段仍然可以提供转发数据服务。文中着重于面向IPv4/v6的平滑重启能力的具体实现,介绍了平滑重启的工作过程和设计实现方法,并阐述了关键技术难点。目前,BGP的平滑重启功能已经在基于Linux的T比特路由器中实现。     

边界网关协BGP-4路由稳定性研究

边界网关协议（BGP)是自治域间的路由协议，用于在全球因特网AS之间交换网络可达性信息。BGP是路径向量协议，在选择一个最佳路由时允许每一个自治系统用基于策略的度量值来重载基于距离的度量值。将一组独立地定义BGP策略的自治系统组织在一起时，很可能就导致BGP协议的摆动，即不能聚集在一个稳定的路由中，该文着重分析了边界网关协议BGP－4路由稳定性问题和相应的解决技术。