基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

OSPF协议中路由表计算的测试例生成方法

本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。     

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.     

移动自组网路由协议研究

对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架。     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

移动ad hoc网络安全按需路由协议

Ad hoc网络按需路由协议的安全问题是近年来的研究热点.本文在分析了ad hoc网络按需路由协议遭受攻击的特点的基础上,结合典型的安全按需路由协议,对采用不同的路由算法的按需路由协议特点进行了探讨,得出了不同的安全对策,同时给出了一个通用的安全Ad hoc网络按需协议设计准则.     

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

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

自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.     

自动产生TTCN测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用．     

Chord协议的最优路由表结构

给出了Chord协议路由的形式化描述,将路由过程抽象成一个整数由一个数列受限的线性表示问题.利用Chord的双向边寻求路由表结构的优化,分析并提出了Chord协议的最优路由表结构.给出了基于最优路由表结构的路由算法,证明了3倍数Chord在满环情况下为最优路由表结构.     

实验性路由协议仿真测试平台设计

通过对网络设计架构影响网络路由性能的分析,描述了局部网络参数的改变对整体路由环境影响的重要性.设计了一个实验性路由协议仿真测试平台,并模拟了OSPF协议在该平台上运行时的协议行为,进行了模拟故障分析.利用实验性路由平台可以为网络规划设计工作提供经济有效的实验环境,有效地提高工作效率,降低故障发生率.     

路由器在广域网中的应用

从路由器的基本原理出发，对路由协议、路由算法进行了全面的分析，并对路由协议、路由算法的选择进行了相应探讨。同时简要介绍了路由配置方法、配置内容及综合测试方法。     

多跳无线Ad hoc网络分区树路由协议ASTR

本文提出一种新的路由协议ASTR（Ad hoc Subarea Tree Routing）,用于支持多跳无线Ad hoc网络。ASTR属于分级路由协议,通过建立分区树,在逻辑上将网络划分为多个分区,每个分区由一棵树组成。由于分区树具有路由选择功能,所以ASTR结合了先应式路由协议和按需路由协议的优点。文中给出了ASTR协议的建立过程,证明了ASTR协议的正确性,并对其路由存储代价和路由更新代价进行了分析,相比其他分级路由协议,ASTR在路由更新代价方面具有明显的优势。     

车载通信网中基于DSR分层机制的移动代理路由策略研究

分析了现有动态源路由(dynamic source routing,DSR)协议机制以及在车载通信网路由发现中存在的问题,提出一种基于DSR分层机制的移动代理路由策略(cluster mobile agent-dynamic source routing,CM-DSR),并对设计的算法进行仿真实验。结果表明,所提出的CM-DSR协议与DSR路由协议相比较,较大幅度地降低了端到端的传输延迟,减少了路由请求次数,包的提交率也有一定程度的提高。     

一种新的基于位置和电池能量感知的路由协议

能量消耗问题是Ad Hoc网络中研究的热点问题之一。针对基于位置的路由协议没有考虑节点剩余能量的问题，提出了一种结合位置信息和剩余能量的路由协议。该协议主要目的是均衡节点能量的消耗，延长网络的生存时间。本协议是在贪婪无状态周边路由协议（Greedy Perimeter Stateless Routing，GPSR）基础上进行改进的，并通过NS仿真对比这两种协议。仿真结果表明，该路由协议在不降低成功传送率的情况下，能够延长网络的生存时间，提高系统的吞吐量。     

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

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

A Micro-Payment Based Isolation of Misbehavior Secure Routing for Sensor Network

In this paper, we present a Micro-payment based Isolation of Misbehavior(MIM) secure routing protocol. The protocol contains three parts: micro-payment scheme, routing discovery and malicious nodes detection. The micro-payment scheme proposed in MIM is the first virtual currency system that can be suit for sensor network environment. Based on thc micro-payment scheme, we device an energy aware routing protocol, which forwards packets by auction. Furthermore, the base station can detect and isolate misbehave or non cooperate nodes according to the routing information.     

移动Ad Hoc网络三种路由协议的规模性比较研究

为了构建面向大规模应用的移动Ad Hoc网络,定量研究网络协议的规模性,建立了路由协议的规模性分析理论框架,研究了网络开销与协议规模性的含义,提出了网络规模性因子的概念,建立了相关的分析模型.据此,研究了平面泛洪(PF)路由协议、标准链路状态(SLS)协议和动态资源路由(DSR)协议的规模性,通过对相关参数的计算和比较,结果表明,PF路由协议相对于节点的移动速率、网络的业务负荷和网络大小都具有理想的规模性,其各项性能参数均优于SLS和DSR协议.本文所建立的分析理论、研究方法和结论奠定了Ad Hoc网络规模性定量分析的基础.