基于XML的协议一致性测试系统的设计与实现

本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。     

基于XML的OSPFv3一致性测试研究

协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究，分析了OSPFv2和OSPFv3的不同，给出了用XML来描述OSPFv3测试套的测试模板，并对OSPFv3协议在Linux下的实现进行了一致性测试，列举了部分测试结果，对测试结果进行了分析，发现了被测实现存在与协议说明不一致的地方。     

基于TTCN的ICMPv6的一致性测试

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

基于TTCN-3的HINOC MAC测试软件TRI和TCI接口设计

研究了HINOC MAC协议测试实现方案和关键接口设计.首先提出了基于TTCN-3的HINOC MAC协议一致性测试平台架构,它包含测试例开发和协议适配器接口开发两部分.重点设计开发TRI(TTCN-3 Runtime Interface)和TCI(TTCN-3Control Interface)接口,以实现信息帧的发送与接收、定时器操作以及编码与解码功能.最后通过搭建实际的测试平台对接口的有效性进行验证,实验结果表明该设计方案可以实现HINOC协议MAC层信令的测试.     

协议一致性测试执行系统的体系结构研究

对现有的协议一致性测试方法进行了介绍，然后针对TCP/IP协议族的一致性测试所必需的特殊要求和必需用到的多种测试方法，提出一种测试执行系统的体系结构，可以灵活地进行各个层次协议的测试。应用该体系结构开发的协议一致性测试套已经应用于高端路由器的研发中，为协议的顺利开发起到了积极的促进作用。     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。     

协议一致性冒烟测试系统的设计

协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试．冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题，本文在协议形式化描述模型上使用贪心算法进行测试功能选择，将测试需求转换成测试目的后自动生成测试用例，设计并实现了一个测试系统和一套完整的二次开发接口，并使用该系统对IP协议栈的一些协议进行了测试。     

Bluetooth协议栈一致性测试

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

基于SDL和MSC模型的一致性测试生成方法

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发，用形式化的语言定义测试目的和测试组，通过本文提出的算法自动生成一致性测试套。     

基于MVB的协议一致性测试系统设计

针对不同生产厂家的多功能车辆总线(Multifunction Vehicle Bus,MVB)设备存在兼容性和互操作性适应度差的问题,设计了基于MVB的协议一致性测试系统,给出了系统的总体结构、软硬件设计与实现方案,并构建测试集优化模型。测试系统的测试电路接口模块包括物理层接口模块和链路层接口模块两部分,负责将采集的MVB总线上的数据传递给控制与测试模块进行分析和处理。控制与测试模块软件部分着重设计了测试用例集优化模型,并采用高效的商业求解器CPLEX进行有效求解,提高了测试效率。实际运行结果表明:该测试系统是稳定并且高效的,可应用于不同MVB设备的协议一致性测试。     

下一代网络协议一致性测试执行系统的实现

0.前言近几年,随着计算机网络和通讯技术的不断发展特别是开放型异构网络的迅猛发展,协议的设计和实现变得越来越复杂,协议测试理论和技术的研究越来越重要,已经成为国际上计算机网络研究的热点之一。     

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

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

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

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

基于TCL的IPv6中BGP一致性测试系统设计

根据协议一致性测试的特点和要求,针对BGP4＋协议的特点,介绍了一种BGP4＋协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍BGP4＋的基础上,设计并实现了该协议一致性测试系统,并对一基于FreeBSD平台的BGP4＋一致性测试实现的结果进行了分析。     

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

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

An approach to concurrent TTCN test generation

The basis of distributed system conformance testing is to test the conformance of each entity with its standard.This paper addresses the approach to entity conformance testing based on concurrent TTCN.First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented.Then a test generation method,which could directly derive concurrent TTCN test suite from CEBE,is proposed.     

表示层协议一致性测试的研究与实现

表示层协议是ＯＳＩ高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ＩＳＯＤＥ软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统（ＰＣＴＳ）的一个子系统。这个子系统的功能实     

IPv6中OSPF协议的一致性测试系统设计

根据协议一致性测试的特点和要求,针对OSPF协议的特点,介绍了一种OSPFv3协议一 致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试 例的描述语言,具有很好的测试能力和灵活性。使用该系统,成功对多个不同的OSPFv3实现进行了 测试,给出了测试实例,并提出进一步的工作方向。     

IPv6中IS-ISv6协议的一致性测试系统设计与实现

根据协议一致性测试的特点和要求,针对IS-IS协议的特点,介绍了一种IS-ISv6协议一致性测试系统的设计方法.该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试例的描述语言,具有很好的测试能力和灵活性.本文在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析.     

OSPFv3协议一致性测试集的设计和实现

设计改进了OSPFv3一致性测试例,使它能在IPv6上顺利运行,采用改进的穿越测试法,通过虚拟测试,利用测试序列包中的地址字段和其它特征字段,采用改进了的TSS语言,仅用一台测试器就搭建了一种逻辑测试结构,实现了多台虚拟测试器的测试拓扑。介绍了测试集的形式化,并对一基于Linux平台的OSPFv3实现的测试结果进行了分析。