邻居发现协议的形式化测试

Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .     

IPv6协议一致性测试系统

随着IPv6协议在我国的推广应用，各种相关设备蜂拥而来，由于各协议实现厂家对协议的不同理解，使得通信设备的协议非一致性问题日趋严重，为检查各个不同生产厂家的IPv6实现是否与标准文本相一致，进而确保不同厂家的IPv6实现之间能够互操作，开发一种IPv6协议一致性测试系统，并利用自定义的一种形式化描述语言，实现IPv6相关协议一致性测试集的形式化，文中给出该测试的结构，通过一个测试例介绍测试集的形式化和测试实现过程，使用该测试系统对多种IPv6协议实现进行测试，发现许不一致问题，为协议实现厂家提供了修改意见，作为例子，给出一种UnixIPv6邻居发现协议实现的测试结果分析。     

领导发现协议的形式化测试

Neighbor Discovery（领导发现,ND）协议是下一代互联网协议IPv6协议的一个重要组成部分,随IPv6在我国的推广应用,各种设备蜂拥而来,由于各协议实现厂家对协议的不同理解,通信设备的协议非一致性问题将日趋严重,来了检查各个不同生产厂家的实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,提出了一种协议一致性测试的方法,并开发了IPv6协议实现一致性测试系统,给出了该测试系统的结构,并利用自定义的一种形式化描述语言,实现了邻居发现协议一致性测试集的形式化,并通过对Solaris8上的IPv6协议实现进行测试,给出测试报告和结果分析。     

IPv6中Neighbor Discovery协议及其测试

IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

Mobile IPv6协议一致性测试集设计与实现

协议测试是用来保证协议实现的正确性和有效性的重要手段.协议一致性测试关注被测协议实现与协议文本要求的一致性,是协议测试的基础.文中阐述了对移动IPv6协议一致性测试的思想及方法,并使用形式化的测试例描述语言说明了测试例的设计过程,最后给出了在一种UNIX实现下的测试结果及分析.     

邻居发现协议在五款IPv6路由器中的一致性测试比较

随着第二代中国教育和科研计算机网（CERNET2）主干网在北京正式开通，我国下一代互联网（China Next Generation Internet，CNGI）建设已全面拉开序幕．为测试协议实现的一致性，进而确保不同厂家的IPv6实现间的互操作，研发了IPv6协议集成测试系统．文章中基于本系统，使用形式化的一致性测试方法，对目前五款高端IPv6路由器的ND协议实现进行一致性测试，并对测试结果进行比较分析．     

NEMO协议一致性测试集的设计与实现

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分，而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点，阐述对网络移动协议一致性测试的思想方法，并使用形式化的测试例描述语言说明了测试例设计与实现过程，给出在Linux实现下的测试结果及分析。     

移动IPv6协议的测试研究

移动IPv6作为IPv6协议族中非常重要的一个协议，对它的一致性测试和互操作性测试将有助于协议的完善，发现协议实现中存在的错误，保证不同厂商产品之间的正确协作，本文分析了移动IPv6协议的测试方法和技术，提出IPv6协议一致性测试系统的参考实现扩展方案，使之适用于移动IPv6协议的一致性测试和互操作性测试，既增强了测试能力，又提高了测试过程可配置和自动化程度，并在此基础上进行了测试实践，最后提出了未来的研究方向．     

IPv6过渡机制协议测试的方法与实现

IPv6协议是因特网的新一代通信协议，如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制，为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同IPv6过渡机制协议实现之间的互操作性，以确保IPv4到IPv6的顺利过渡，需要对各IPv6过渡机制协议实现进行协议的一致性测试。本文给出了对IPv6过渡机制协议实现进行协议一致性测试的方法，用这种方法对现有的几种不同的IPv6过渡机制协议实现进行了测试并给出了测试结果。     

移动IPv6协议一致性测试研究与实践

分析了移动IPv6协议的一致性测试需求，提出了基于形式化模型的测试集设计方法，设计了基于通用一致性测试系统的参考实现扩展方案，既增强了测试能力，又提高了测试过程可配置和自动化程度，在此基础上对多种实现进行了测试，对结果进行了分析。     

Mobile IPv6 Home Agent协议一致性测试集的设计与实现

描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。     

网络协议测试的符号化一致性关系研究

协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。     

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

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

针对IPv6的邻居发现协议的DoS攻击分析

DoS攻击一直是Internet最主要的威胁。随着Internet的发展,IPv6毫无疑问将代替Internet现在的主要协议IPv4。该论文主要关注IPv6下使用IPSec配置或不使用IPSec的情况下的针对协议的DoS攻击,主要涉及与IPv6邻居发现协议(NDP)相关的DoS攻击。     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．