基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。     

基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。     

并行文件系统中Disk Cache一致性协议的性能测试与评价

本文介绍了ＢＪ－１并行计算机上对作者提出的“主从式”两类并行文件系统中ｄｉｓｋ ｃａｃｈｅ多复本一致性协议所进行的系统模型，测试及综合评价。     

基于通信扩展有限状态机的测试集生成技术

在协议一致性测试中，选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型，重点探讨基于通信扩展有限状态机的测试集生成技术。     

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

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

基于同步有向图的同步测试序列生成方法

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试，但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题，现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步，多端口协议和其它类型的分布式系统可以用有限状态机模型来描述，目前，同步问题被分为双端口同步问题，多端口同步问题，紧同步问题等多种类型，该文考虑两种有限状态机测试问题，第一种是面向端口的测试，不考虑有限状态机测试单元之间的通信问题，第二种面向组的测试，有限状态机中的各个端口被分成互不相关的多个组，属于不同组中的测试单元之间互不通信，该文提出了一种基于同步有向图的同步测试序列生成方法，这种生成方法适用于Pair同步，Port同步和组同步问题，并且，这种方法也可以用来判断如何在非同步测试序列中增加同步通信，将非同步测试序列转化为同步测试序列。     

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

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

列车用CAN协议一致性测试平台的设计与实现

列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一致性测试内容,设计并构建了相应的一致性测试硬件平台,并对测试软件平台中可执行测试实例产生、测试执行、测试评估以及测试管理等诸多环节所涉及的基本功能软件进行了设计和实现,完成了CAN协议一致性测试的基本功能。实际运行和测试结果表明：所设计的测试平台达到了预期结果,为下一步列车用CAN总线协议的一致性测试打下了基础。     

EPA协议抽象测试集的设计

根据IEC9646对协议测试的原理和说明，基于工业以太网（EPA）协议的通信特点及其要求，设计了EPA一致性测试中抽象测试集的层次结构模型，参照树表结合表示法（TTCN）的结构框架和思路定义了一种类形式化语言来描述EPA的抽象测试集，介绍了EPA抽象测试集的生成过程和实现步骤。通过EPA 一致性测试系统的实际应用，证明EPA抽象测试集能够完整的包括EPA协议一致性测试的所有内容，根据此测试集设计的测试系统能够准确测试出被测协议实现是否与EPA标准一致。     

基于CORBA的导弹通用测试平台并行测试实现

面向战时保障需求，提出对导弹通用测试平台进行并行测试改造，介绍了CORBA的结构，给出了导弹通用测试平台的并行测试硬件基础，提出了CORBA面向对象分析方法，应用这种方法建立了基于CORBA并行测试软件的体系结构，描述了对象适配器的定义 方法。     

通信协议的一致性测试

一致性测试在通信协议工程中是非常重要的。本文给出有关一致性测试的一般概览。一致性测试的基本原理,抽象测试方法的比较和选择,测试集和TTCN,一致性评估过程以及结果的分析将在文章中讨论。     

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

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

WIA-PA协议一致性测试方法研究

针对WIA-PA协议的特点构建了WIA-PA协议一致性测试的系统结构和网络拓扑,给出了WIA-PA协议一致性测试的方法和原则,重点论述了测试代理软件的功能与软件实现,设计出了WIA-PA协议的一致性测试抽象测试集。最后以数据链路层的网络时间同步测试为例说明了WIA-PA协议一致性测试的一般流程。     

在IPv6环境中VPN测试的关键技术

利用IPSec VPN技术,企业能够将Internet作为其通信网络基础的骨干,实现全球通达,并大大节约成本,同时保持内部通信的安全。IPv6协议是下一代互联网协议,IPSec协议是IPv6协议的一个重要组成部分。对IPSec协议的一致性测试是保证不同厂商之间互联与互操作的基础。本文详细介绍了用Ixia厂商设备测试IPSec协议一致性的测试方法,并给出了VPN产品穿透性测试的测试用例。     

基于TTCN-3的宽带载波通信一致性测试系统设计

电力线载波通信技术正在从窄带向宽带发展,宽带载波通信已成为近年来电力线载波通信研发和应用的热点,为保证不同厂商研发的宽带电力线载波通信设备符合协议规范要求并能够互联互通,对其进行一致性测试十分必要。基于TTCN-3测试框架和Titan开发平台设计了宽带载波通信协议一致性测试系统,提出了一致性测试系统软件和硬件设计方案,阐述了测试系统各部分的实现机制及关键技术。在深入研究宽带载波通信协议的基础上,针对物理层、链路层和应用层分别设计了不同的测试用例,构建测试环境并进行一致性测试,可对被测系统协议实现的正确性进行判决。对推进宽带电力线通信的标准化和互联互通具有积极意义。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

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

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

NTCIP协议一致性测试工具研究及实现

通过分析NTCIP协议一致性测试工具的现状,发现该协议一致性测试工具在国内的空白局面,因此通过分析NTCIP协议族及其协议验证方法,发现NTCIP协议是通过SNMP协议发送和接受报文,基于上述理论,设计开发了NTCIP协议一致性测试工具。本文介绍了基于SNMP协议的NTCIP协议一致性测试的研究工作,并介绍了该研究中设计和实现的协议一致性检测工具,该工具主要应用了SNMP++进行开发,实现了MIB文件的解析、MIB树的生成、SNMP报文组包发送接收及其验证和测试用例管理等功能,本工具通过SNMP协议发送和接受NTCIP报文,验证结果的正确性,在该领域填补了国内空白。     

简单邮件传输协议的一致性测试研究

Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。