BGP协议健壮性分析与健壮性模型的研究

BGP是广泛使用的域间路由协议，其健壮性直接影响到因特网的可靠性。本文从BGP协议的健壮性问题分析入手，提出了具有健壮性因子的有限状态机模型和场景模型。该模型可以清晰、直观地反映协议自身的健壮性问题，有利于突出目前实现和运行中存在的健壮性问题，并可用于BGP协议的健壮性分析和测试。     

基于RFSM的健壮性测试技术研究

提出了一种系统实现协议健壮性测试的方法，该方法首先在分析BGP协议状态机的基础上，认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性，就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM（robustness finite state machines），把RFSM模型应用到BGP健壮性测试当中，文章详细构造了BGP冲击集合和RFSM，生成了反向测试集，并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明，用该方法生成的测试集与一致性测试集相比，其错误处理的覆盖率扩大了54％，检错能力提高了2．8倍。     

基于错误注入技术的协议实现鲁棒性测试体系结构

网络协议处于Internet的核心地位。对协议实现的测试是协议工程中研究的热点。论文首先给出了协议实现的鲁棒性定义,并介绍了错误注入技术;然后通过详细分析协议鲁棒性测试要测试的内容,最后得出了适于鲁棒性测试的体系结构。     

基于场景模型的BGP-4健壮性测试

提出了一种系统实现协议健壮性测试的新方法.该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法.路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍.     

网络设备延迟健壮性测试的研究与实现

介绍了测试机构对网络设备进行性能健壮性测试的一般步骤,详细分析了延迟健壮性,并对延迟健壮性进行了测试,指出需要进一步研究的问题。     

基于规范变异的BGP4健壮性测试研究*

提出了一种系统实现协议健壮性测试的新方法.该方法通过深入分析BGP的路由信息处理过程,提出场景模型来描述决策过程和更新过程的应用环境和控制参数,基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RI-Pro过程,并提出了适用于BGP的RI-Pro的变异操作集合,通过规范变异方法构建了用于构造健壮性测试案例的关系集合.实验表明,使用该方法生成案例数目相对单纯依靠协议文本生成的反向测试案例在数量上提高24%,其检错能力是正向测试集的2.3倍.     

静电防治

一.预防措施 1.避免手指去接触在静电保护容器内的传输线和存贮器件。 2.在防静电的工作台上,才可以从防静电容器内拿出静电敏感元件。     

LDP一致性测试的研究与实现

协议实现的一致性测试是保证网络设备之间互连的重要手段。LDP协议是MPLS的标记分发协议，本文在对LDP协议进行分析的基础上生成了测试集，选择了测试方法，并在现有测试系统Anvl的基础上设计和实现了LDP一致性测试程序。     

基于P2P的分布式网络管理模型研究

首先分析了大规模、异构网络带来的问题，以及传统的分布式管理模型的不足，简述了P2P和分布式网管技术，在此基础上提出了基于P2P的分布式网管模型，并重点分析了模型最关键的部分：网管工作站。讨论了模型的安全性并提出相关的对策。     

网络性能基准测系统体系结构研究

基准测试系统是技术发展成熟的标志,网络基准测试系统发展的滞后已经成为阻碍网络发展的决定性因素;针对网络基准测试系统的功能和应用,分别对硬件平台和软件平台进行了分析,提出了实用的网络性能基准测试系统框架体系结构。