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

在分析BGP4 的基础上,设计实现了BGP4 协议一致性测试系统,给出了用XML描述BGP4 测试套的测试模板,并对BGP4 在Linux下的协议实现进行了一致性测试,发现了被测实现与协议说明不一致的地方.     

BGP4协议在IPv6过渡技术中的应用研究

分析了BGP4路由协议I、Pv6过渡技术,详细论述了BGP4协议在IPv6过渡技术中的应用,给出了在实际组网中运用BGP4协议实现IPv6过渡技术的具体方案.     

一种面向SON的单播路由协议

提出了一种面向自组织网络SON(self-organizing networks)的单播路由协议,支持应用服务质量QoS(quality of service)需求和路由器生物行为.基于OSPFv3/BGP4+,设计了自治域内和自治域间路由协议,包括报文格式与功能、链路状态描述结构、邻居信息表、单播路由表和协议工作流程等.基于Quagga软件路由器实现了提出的协议,并且在网络实验平台基于Iperf工具对其进行了性能评测.结果表明,该协议是有效的,具有较好的性能.     

开源路由软件XORP的MPBGP扩展方法

XORP是工业界重要的可扩展开放路由平台,其边界网关协议(BGP)模块虽然满足了BGP4+的要求,但仍需进行多协议扩展以满足新的需求。该文通过研究如何在XORP中对BGP进行多协议扩展以满足4over6和多协议标签交换虚拟专用网(MPLS VPN)的需求,总结出一种通用的扩展方法:将非传统多协议BGP(MPBGP)报文形式转换为传统形式并添加相应的BGP管道。在XORP中根据该方法进行扩展的4over6 MPBGP已经成功应用于4over6过渡机制。实验结果表明,4over6 MPBGP的性能与IPv6单播BGP的性能相当。     

基于策略的BGP配置管理模型

目前的边界网关协议(BGP)配置管理是基于手工模式实现的,代价高、易出错、灵活性和扩展性差。该文将策略管理引入到BGP的配置管理中,提出了一个在自治系统(AS)内部实现BGP自动配置的框架。它可以支持自治系统中路由策略的一致性检测,根据高层策略自动配置AS内部所有BGP路由器,并能够动态地适应自治系统路由策略的改变。     

基于SOCKS5的IPV4和IPV6通信方案

随着Internet的不断发展，当前的IPV4已经日益暴露出它的缺陷。向下一代的IP技术IPV6过渡已经成为一种迫切的需要。论述了一种通过SOCKS5代理进行IPV6和IPV4网络通信的方案，最后阐述了支持双协议SOCKS5代理服务器软件的实现和应用。     

Linux模拟IPV6双栈路由器实现方案

介绍了IPV6的网络路由器的原理和在Linux上的具体实现方法。讨论了在Linux下如何搭建IPV6网络试验平台,重点讨论如何将Linux工作站模拟成双栈路由器。然后介绍了静态路由和动态RIPng路由协议在Linux下的实现方法。     

VRRP和BGP在校园网中的应用研究

本文详细阐述了虚拟路由冗余协议(VRRP)和边界网关协议(BGP)的工作原理,制定了在校园网核心层联合部署上述2种协议的网络优化方案,并给出了建立单臂路由、VRRP组、EBGP邻居、IBGP邻居和修改BGP下一跳属性、BGP本地优先级属性、权重属性的具体配置方法,测试后证实该方案很好地解决了当前校园网所面临的主要问题.     

一种确保BGP路由收敛方法

BGP协议是运行于Internet上的惟一的域间路由协议,允许自治系统定义自身的路由策略选择路由.然而这样定义的路由策略可能存在冲突,路由策略冲突会导致BGP路由发散.提出一种基于AS关系的确保BGP路由收敛的方法,通过跟踪BGP路由变化事件发现导致BGP路由发散的路由,对违反自治系统关系的路由进行抑制保证BGP路由收敛.对所提出的方法进行仿真实验,结果证明了所给方法的有效性.     

边界网关协议BGP-4中的路由策略与信息传播

边界网关协议 (BGP- 4 )是目前用于广域网的最主要的域间路由协议。分析了 BGP协议中链路状态信息和网络拓扑结构的关系 ,指出了路由策略对 BGP路由信息传播的影响。提出了根据具体的 BGP路由策略分析路由信息最优传播过程的方法 ,从理论上证明了方法的有效性 ,并在几种典型的拓扑结构下使用该方法分析了路由信息传播的过程和传播的信息量。成果已经用于指导实际的网络配置、管理和 BGP- 4协议的实现     

多小区一致性测试平台的研究与验证

TD-LTE(time division-long term evolution)无线资源管理一致性测试是检验TD-LTE终端是否符合协议标准的重要手段.鉴于传统一致性测试平台存在不足之处,无线资源管理一致性测试搭建了基于TTCN-3(testing and test control notation version 3)的一致性测试平台,并分析了该测试平台相对于传统测试平台的优越性.利用TTCN-3软件编写测试例并进行测试.通过分析测试流程图可以得出,一致性测试平台的可行性,并验证了该平台相对于传统平台的优越性.     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization

Protocol formalization is one of a class of hard problems in testing routing protocols and characterized by dynamic, concurrent and distributed behavior. For the purpose of performing conformance testing of the open shortest path first protocol link-state database (LSDB) synchronization process, the authors propose a formal model called global behavior tree, which describes global interactions among routers. The model is capable of representing distributed and concurrent behavior and allows for easy test derivation. The corresponding test notation and test derivation algorithm are studied. A simple test method is developed and a software tester is implemented. The results show that this model easily facilitates the testing process and allows a good test coverage.     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

策略路由的基本关系及其测试

边界网关协议 (BGP-4 )支持的策略路由在互联网运行效率和安全方面发挥着重要作用 ,并直接涉及经济利益问题。为了对其进行测试 ,首先讨论了策略路由中所涉及的服务提供者与客户之间的基本关系 ;在分析路由属性与路由策略等概念的基础上 ,定义了路由行为与策略的一致性关系及两类违反一致性的情况。为了获得较好的测试效果 ,在测试手段上综合使用了主动的测试方法和被动的测试方法。这些技术和方法的正确性、有效性在实际测试活动中得以证实 ,并为网络的运行、管理提供了有益的指导     

基于LTE-A系统邻近业务(ProSe)直接通信的设计与实现

3GPP在LTE-A系统中引入了邻近业务(proximity-based services,Pro Se)来提高频谱利用率和降低基站负荷。终端通过基站分配的频谱资源进行直接通信,从而提高无线频谱资源的利用率,而UE间邻近业务成功建立后,基站的负荷得以降低。提供了邻近业务直接通信场景,提出了2种邻近业务直接发现方式,并基于第二种发现方式设计了直接通信建立的流程,搭建了基于TTCN-3(Testing and Test Control Notation version 3,测试与测试控制描述第三版)测试系统的多终端一致性测试平台,而后将设计流程抽象化,在搭建的平台上进行一致性测试,最终验证了邻近业务(Pro Se)直接通信的流程设计与协议的一致性,为该业务的开发奠定了基础。     

3G终端开发中的一致性测试及实现过程

一致性测试是协议栈软件开发过程中一个必不可少的环节，对3G系统的应用开发具有极其重要的意义和实用价值。因此，根据一致性测试的基本原理，详细论述了一致性测试在3G终端协议开发中的实现过程，并由此给出具体的测试方法及步骤。