IPv6邻居发现协议的一致性测试序列生成

自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展。现今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品间的互通性和可靠性则成为了一个关键问题。进行协议一致性测试是提高IPv6实现可靠性的一种有效方式。本文就重点针对IPv6邻居发现协议进行了一致性测试分析。本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机（FSM）模型。进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列。本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力。本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考。      

IPv6协议一致性测试的实现

在863课题“IPv6协议测试技术”的支持下，以提供IPv6测试能力为着眼点，讨论了与IPv6测试相关的测试集描述语言、测试平台设计、测试方法、测试集生成等几个方面的技术，介绍了功能完善的IPv6一致性测试平台及完整的IPv6协议测试集，并对几种常见的IPv6协议实现进行了实际测试。     

INAP协议一致性测试生成的形式化方法

文章应用形式化方法对INAP协议进行测试，基于INAP协议描述的I／O FSM模型，应用UIO方法生成一致性测试序列，然后应用中国乡村邮递员算法对测试序列进行优化，生成的测试序列可以覆盖状态机的每个变迁，且生成的测试序列较短。     

利用逆向判定性缩短EFSM的测试序列的长度

在一个以扩展的有限状态机（ＥＦＳＭ）为模型描述的协议测试系统中,测试序列的可执行性是一个重要的问题。同时,还要考虑到测试序列的优化问题。文中以ＥＦＳＭ为协议的描述模型,引入了逆向判定性的概念,并利用这一概念对转换可执行性分析（ＴＥＡ）方法进行了改进,缩短了生成的测试序列的长度,并且减小了所需的ＴＥＡ树扩展空间。     

BACnet应用层测试状态机自动生成研究

协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。     

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

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

EFSM的等价转换和通信协议一致性测试

绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力     

浅析移动IPv6协议及其测试技术

IPv6协议即将成为Intemet的标准,在任何协议的研究开发中,测试工作都是很重要的.移动IPv6作为IPv6协议族中非常重要的一个协议,对基本的IPv6协议运作方式有较大的改变,对它的一致性测试和互操作性测试将有助于协议的完善.本文在介绍移动IPv6协议的基础上,分析了移动IPv6协议的测试方法、测试技术和研究方向.     

网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法,它使用构造类别代数述通信协议规范,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点。     

基于节点自相似性方法的网络协议测试

针对无线自缎织网络中的协议一致性测试问题,提出一种新的测试算法一节点自相似性方法。利用形式他描述语言SDL对路由协议DSR路德协议进行描述,文章给出了该方法的具体涵义以及应用环境。通过举例,验证了节点自相似性方法能够从实际移动网络的模型中产生测试序列进行测试。     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模，然后通过模型生成测试集，最后执行测试集．这种方法存在执行效率不高和实际测试范围可能被缩小的问题，为此本文提出一种可变测试集的方法，通过动态执行测试集提高其执行效率，同时从与协议实现无关的角度扩大协议的实际测试范围．     

基于随机Petri网测试的序列生成系统

提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FSM）或扩展有限状态机（EFSM）模型分析的不足,并可对系统模型进行性能分析.通过具体例子说明了其在实时软件中的应用.     

IPv6测试研究与实践

从IPv6协议测试范围和测试方法两个方面对IPv6协议测试进行了研究分析,并从设备、网络和网站系统等3个方面探讨论了IPv6测试的规范和体系.基于近年IPv6测试领域相关成果,介绍了IPv6论坛的测试体系IPv6 Ready和IPv6 Enabled,以及全球在IPv6测试方面的实践和探索.     

一种基于代理移动IPv6的全局移动性管理结构和协议

该文定义一种基于代理移动IPv6的全局移动性管理结构和协议,简称为PMIPGMM。 在PMIPGMM中,由网络实体而不是移动节点完成移动性管理, 另外消除了移动节点和接入路由器之间分发数据的无线链路隧道负荷。为与熟知的层次移动IPv6协议比较,基于液体流移动性模型,分别给出了每个协议下,移动节点在平均域停留时间内产生的位置更新、数据分发和总费用函数。分别研究了各种系统参数对费用函数的影响。分析结果表明所提出的基于代理移动IPv6的全局移动性管理协议可以保证低的总费用。     

基于层次移动IPv6接人认证设计与实现

在移动IPv6和层次移动IPv6中，移动节点通过无线接入点（AP）接入网络并且自动配置地址，缺乏必要的安全认证和地址管理机制。针对这一问题，文章结合IPv6的动态主机配置协议（DHCPv6）和认证，授权，计费（AAA，Authentication,Authorization,Accounting）协议设计出一套安全可靠的接入认证机制，并给出了实验结果。结果表明该接入认证方案能够有效实现对移动节点的合法性进行验证，认证成功的同时也为移动节点（MN）配置了合法IP地址，能够满足实际应用的需要。     

一种代理移动IPv6认证协议

代理移动IPv6为移动节点提供了基于网络的移动性管理方法,移动节点不参与管理移动性信令.为了在移动互联网络中应用代理移动IPv6协议,需要定义安全有效的认证协议.目前还没有见到关于代理移动IPv6认证协议方面的研究,本文提出了一种代理移动IPv6的认证协议,该认证协议可以提供接入认证功能,并可防止重放攻击和密钥暴露.为了分析该认证协议的性能,本文给出了认证费用和认证延迟分析的解析模型,分析了移动性和流量参数对认证费用和认证延迟的影响.研究结果表明提出的代理移动IPv6认证协议安全有效.     

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端协议一致性测试技术的研究.着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方法,测试系统的设计和实现,抽象测试集的生成.通过对该项技术的研究,可为TD-SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题.     

基于FSM的时序电路测试生成探析

针对时序电路的结构特点,以有限状态机的状态转换和一致性测试分析为依据,通过采用转换故障模型来实现时序电路的功能测试生成.发现使用VHDL语言和EDA工具软件能很快实现由时序电路到有限状态机的转换,同时可得到时序电路的稳定状态及其有效可及状态.结果表明此方法可实现转换故障的测试生成,是一种研究时序电路功能测试生成的有效方法.     

用于协议一致性测试序列生成的状态规范化算法

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现