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

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

基于有限状态机的协议测试方法

该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型,之后将有限状态机模型引入通信系统中,并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。     

基于扩展有限状态机测试序列生成方法研究

扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。     

基于扩展有限状态机的一致性测试例生成研究

本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。     

基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

基于有限状态机的高速串行通信总线协议及其应用

高速串行通信总线适合于高实时性、高可靠性的底层设备间的数据通信。文章重点讨论了使用有限状态机进行高速串行通信协议中的收发两大核心模块的设计实现。设计不但在Quartus Ⅱ5．0中通过了全部功能仿真,还在实际数控系统中检验了,茁、线的有效性。     

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．     

基于标号有限状态机的协议形式描述与验证

本文论述了协议的形式描述与验证的主要技术，讨论了基于标号有限状态机的形式描述与验证问题，给出了应用实例。     

基于ISM的互操作性测试方法

协议测试中的互操作性测试是保证不同厂商通信设备之间能够正确实施互操作的主要工程测试方法。针对互操作性测试过程中缺乏形式化测试框架和测试方法指导而导致无法保证测试可靠性的问题,在介绍ETSI定义的通用互操作性测试模型基础上,提出一个基于互操作性状态机的互操作性测试方法。通过一个面向IPsec VPN的互操作性测试实例表明该方法的有效性和可行性。     

基于Modbus协议的一致性和互操作性测试方法的设计与实现

在分析协议测试原理的基础上,初步提出基于串行链路的Modbus协议一致性和互操作性测试,及其符合性评估的方案和流程;设计了相应的硬件和软件模块,基于该模块系统对串行链路的Modbus设备进行了一致性和互操作性测试实现;测试结果表明,该测试模块能够满足Modbus协议设备的调试。     

基于并发TTCN的协议互操作性测试系统的研究

该文从定义并发TTCN着手,介绍了协议测试的概念和内容,详细讨论了协议互操作性测试的意义及其相关的语义定义,该文最后给出了一种改进的协议互操作性测试系统的结构。     

基于日志的Web系统互操作测试用例扩充方法

随着Web的发展,多应用Web系统成为一种主流形式,它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功能性和可靠性,互操作性已经成为Web系统的主要特性之一。相较于传统软件系统,Web系统更新升级更为频繁,回归测试是保障Web系统质量的重要手段。针对以上问题,提出了一种基于访问日志的Web系统互操作性测试用例集扩充方法,利用Web系统独有的日志信息,在回归测试阶段对测试用例集进行扩充。该方法采用模型驱动测试的思想,使用顺序图对测试目标进行建模,转化成基础测试序列,然后将Web系统日志信息进行筛选、合并、解析,进而得到用户访问序列,将两种序列按照一定规则进行匹配,并结合相应的扩充规则对当前测试用例集进行扩充。     

基于层次MAP的虚拟试验系统互操作协议研究

在虚拟试验系统中,针对以太网和VMIC反射内存网不能直接通信的问题,提出了一种基于层次MAP的互操作协议方案;在引入网关节点连接以太网和VMIC反射内存网的基础上,提出了VMIC反射内存的三层内存划分方案,利用层次MAP实现了反射内存的分配和释放算法,完成了以太网数据和反射内存网数据的相互映射,从而实现了虚拟试验系统的互操作;试验表明,该互操作协议方案能够有效实现以太网和VMIC实时网之间的数据交换和共享,较好地满足了虚拟试验系统的实时性要求。     

基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。     

网络协议测试生成方法综述

在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。     

基于测试需求的互操作性测试用例生成方法

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。     

基于UIO的协议一致性测试序列生成方法研究

测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机族型和唯一输入／输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错...     

基于错误注入技术的协议实现鲁棒性测试体系结构

网络协议处于Internet的核心地位。对协议实现的测试是协议工程中研究的热点。论文首先给出了协议实现的鲁棒性定义,并介绍了错误注入技术;然后通过详细分析协议鲁棒性测试要测试的内容,最后得出了适于鲁棒性测试的体系结构。