IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

基于TTCN-3底层协议测试方法研究*

TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新的测试方法,并以ARP为例按照新的测试方法对其进行测试,验证了ARP的一致性和TTCN-3语言应用于底层协议的可能。     

边界网关协议BGP-4的一致性测试

边界网关协议是在全球因特网上，用来在自治系统间的传递路由信息的域间路由协议。边界网关协议（BGP－4）的一致性测试，是国家高速信息示范网路由协议测试项目的重要组成部分。文中介绍了通讯协议的一致性测试方法，并结合BGP－4的一致性测试进行测试方法的实践与研究。针对GBP协议的不同部分的测试，介绍了不同的测试方法以及测试系统和测试环境的设计与构造。     

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术；参照TFCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言，提出了EPA协议实现一致性说明和协议实施附加信息的生成方法；研发了一种EPA协议一致性测试的方法，并以变量写服务的测试为例，说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用，证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。     

基于TTCN-3的HINOC MAC信令协议一致性测试

根据HINOC MAC协议的特点,基于协议一致性测试方法框架,设计了信令协议抽象测试集;给出了基于TTCN-3的MAC信令协议一致性测试的设计和实现方法;采用测试工具TTworkbench完成了测试开发及实现.通过测试例的执行,验证了测试方案的有效性与可行性.     

BACnet应用层状态机在线测试研究

随着BACnet网络技术的应用发展，对BACnet网络设备协议一致性测试的要求也越来越强烈，本文在比较现有的协议一致性测试方法的基础上，给出了基于在线测试的BACnet协议测试方法，研究了BACnet应用层状态机的运行模式，并采用有限状态机模型对BACnet应用层状态机进行了分析，给出了相应的状态机状态判定方法和在线测试的软件结构。     

基于TTCN-3的E-NNI RSVP-TE协议一致性试研究

E-NNIRSVP-TE信令协议是自动交换光网(ASON)网络控制平面协议栈的重要组成部分。论文在简要介绍了E-NNIRSVP-TE信令协议和一致性测试方法的基础上,分析了该协议的抽象测试方法和测试结构,并给出了E-NNIRSVP-TE协议的一致性测试集。     

移动IPv6协议的测试研究

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

OSPFv3协议一致性测试系统设计与实现

如何保证各网络设备协议实现的一致性，是保证各设备可以互联、互操作的关键。文中在介绍OSPFv3协议的基础上，设计并实现了该协议一致性测试系统。根据系统支持多端口的特性，提出一种改进的针对中继系统的一致性测试方法，克服了原有穿越式测试方法中测试系统之间的同步和协调问题。利用该系统对开放源码的路由软件包zebra进行了测试，结果表明在数据库描述包的MTU字段处理上和RFC2328存在不一致。     

基于Web的WIA-PA一致性测试系统的设计和实现

从无线传感器网络协议一致性测试的角度,对WIA-PA协议测试技术进行了分析和研究,阐述了WIA-PA协议一致性测试的主要内容,提出了一种基于Web的WIA-PA一致性测试系统和测试方法,并通过典型测试实例的实现,说明该方法用于协议一致性测试的可行性.     

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

IPv6中Neighbor Discovery协议及其测试

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

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

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

协议一致性抽象测试集的设计研究

协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标准化抽象测试集的研究导致了一致性测试的国际标准，是近几年国际上研究的热门话题。本文首先介绍了协议一致性抽象测试集的基本概念的结构，然后阐述抽象测试认样生的一般过程，最后对我们正在研究的３Ｘ协议一致性测试集的设计进行介绍。     

基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

Development of verification and conformance testing tools for a railway signaling communication protocol

Verification and conformance testing for protocol specification, the key part of the protocol development process, are complementary technologies employed to increase confidence that a system will function as stated in its specifications. In this paper, we verify the safety and liveness of the protocol specified for the Labeled Transition System (LTS) by using a model-checking method and implementing the testing tool, which experimentally demonstrates the presence of deadlock and reachability from the initial state to a random state. Implementing the testing tool can use modal mu-calculus to assess whether protocol model properties, presented by modal logic, meet protocol specifications. In addition, we propose a conformance testing tool to check correct implementation of sequences that have been derived by the UIO method from the specification of the protocol being verified. This generating tool uses the C++ language in the Microsoft Windows NT environment.     

网络协议一致性测试研究综述

一致性测试是网络协议验证中最为基本的部分.虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路.     

一种基于TTCN-3的多路并行测试方法

随着全球通信网络的高速发展，对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案，阐述了测试适配器的开发方法，重点分析了多路适配器的原理及实现，并以此为基础提出了一种多路并行测试的方法，该方法已成功地应用于802.16d协议的一致性测试。     

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

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

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

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