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

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

协议一致性抽象测试集:功能和规范

随着计算机网络的发展，协议一致性测试变得越来越重要了。抽象测试集是协议一致性测试中的重要概念，本文将围绕国际标准ＩＳＯ９６４６来讨论抽象测试集的功能和规范。     

EPA协议抽象测试集的设计

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

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

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

EPA一致性与互操作性测试系统设计

针对工业控制领域的开放性问题,通过分析现场总线一致性与互操作性测试原理,设计和实现一个EPA一致性与互操作性测试系统,阐述该系统在功能、程序框架以及测试流程等方面的设计思想,针对测试前的输入文件进行规范设计。利用该系统对基于EPA标准的产品进行一致性与互操作性测试,实验结果验证了该设计方案的可行性。     

基于边界检测的IPSec VPN协议的一致性测试方法

移动办公环境存在诸多安全威胁,为保证信息安全传输,通常采用移动VPN接入方案。文章探讨了一种针对移动智能终端的基于边界检测的IPSec VPN协议的一致性测试方法。该方法利用Hostapd搭建SoftAP,并通过调用libpcap函数库抓取IPSec VPN连接过程报文,采用基于协议会话状态的检测方法,根据协议会话状态的跳转,检测消息报文的格式与标准规范格式的一致性。测试结果表明,本方法可以智能的分析和识别非标准协议格式的IPSec VPN报文,而且实现简单,性能稳定。     

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

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

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

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

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

IPv6中IPSec协议一致性测试

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

基于模型检查的协议一致性测试套自动生成

提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准,借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。     

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

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

通信协议的一致性测试

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

一种基于多UIO的一致性测试序列优化方法

在通信协议一致性测试中，设计出测试费用低、检错能力强的测试序列是关键工作之一。文章基于乡间中国邮递员遍历算法，利用网络流技术从一个状态的多UIO序列中选择适当的一个，使有向图G^test的度：△（G^test）＊^n∑i=1｜ξ（vi）｜最小，从而达到减少测试序列的总时间费用的目的。     

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

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

一种提高一致性测试错误检测能力的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章在“Old”方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检测能力的“New”方法。两种方法相结合,可以获得具有几乎完美的错误检测能力的测试序列。     

EPA协议确定性调度测试系统的研究与实现

基于EPA通信规范与EPA协议一致性测试规范,研究了对EPA网络进行确定性调度测试的方法,阐述了EPA网络确定性调度测试的实现技术。实践证明,开发的EPA协议确定性调度测试系统,可读取/修改目标设备的组态信息,可还原EPA网络上的报文传输情况,并能对EPA网络进行确定性调度测试。     

基于OSI参考模型的一致性测试理论和方法

以ＴＰ４运输层协议为例，阐述了ＯＳＩ一致性测试的理论和方法，在对ＯＳＩ一致性测试和ＴＰ４协议进行简介的基础上，给出了在ＴＣＰ／ＩＰ环境中实现ＯＳＩ ＴＰ４协议一致性协同测试的关键技术和方法。