基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现 了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态 转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健 壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo 的测试效率比已有的算法表现得更优越.     

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

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

软件健壮性测试的一种新方法

健壮性是指在异常情况下,软件能够正常运行的能力。健壮性是描述软件在需求范围之外的行为,然而正常情况与异常情况并不容易区分,开发者往往把异常情况错当成正常情况而不作处理,结果降低了健壮性。用户则不会区分正确性与健壮性的区别,只要软件出了差错都认为是开发方的错。所以提高软件健壮性对于用户来说,显得非常重要了。本文主要探讨了软件测试中健壮性的问题,同时以LINUX为例,给出了健壮性测试的方法和步骤。     

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为，其在软件建模中被广泛应用，基于有限状态机的测试问题得到了广泛的研究，其中WP方法由于限制条件较少，并且其可以达到较高的错误覆盖度，因此被广泛使用，但当有限状态机的实现中的状态数目的估计值m较大时，产生的测试输入序列相对较少的测试输入序列数目，可以提高测试效率，同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论，并证明了该方法与Wp方法相同的错误覆盖能力。     

软件健壮性测试的一种新方法

健壮性是指在异常情况下，软件能够正常运行的能力：健壮性是描述软件在需求范围之外的行为。然而正常情况与异常情况并不容易区分，开发者往往把异常情况错当成正常情况而不作处理，结果降低了健壮性。用户则不会区分正确性与健壮性的区别，只要软件出了差错都认为是开发方的错。所以提高软件健壮性对于用户来说．显得非常重要了。本文主要探讨了软件测试中健壮性的问题，同时以LINUX为例，给出了健壮性测试的方法和步骤。     

BGP协议健壮性分析与健壮性模型的研究

BGP是广泛使用的域间路由协议,其健壮性直接影响到因特网的可靠性。本文从BGP协议的健壮性问题分析入手,提出了具有健壮性因子的有限状态机模型和场景模型。该模型可以清晰、直观地反映协议自身的健壮性问题,有利于突出目前实现和运行中存在的健壮性问题,并可用于BGP协议的健壮性分析和测试。     

软件健壮性的包裹测试

软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性。健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成。本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性。     

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

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

网络应用软件健壮性测试方法研究

软件测试是提高软件可靠性的有效手段,健壮性是网络应用软件重要的质量因素。本文针对网络软件的特点,提出了一种测试网络软件健壮性的方法--通过对交互数据接口进行负载测试和接口容错测试,检验软件对异常数据的处理能力,从而确保各种异常输入的正确处理,提高系统的安全性以及可靠性。     

基于场景模型的BGP-4健壮性测试

提出了一种系统实现协议健壮性测试的新方法.该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法.路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍.     

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。     

基于扩展有限状态机的SCA符合性测试方法研究

软件通信体系结构（Software Communication Architecture,SCA）标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA标准中的定义,从而保证应用的跨平台性与通用性。当前国内外对SCA符合性测试的研究较少,测试过程中存在诸多问题,如各需求的测试之间存在依赖关系,某些需求测试的进行可能造成后续需求测试无法执行等,导致目前缺乏自动化的测试方法。针对这些问题,提出了一种测试序列自动生成方法,并基于扩展有限状态机的基本原理构造了SCA符合性测试模型。该模型能够直观地反映测试过程,分析测试中软件无线电系统存在的各种状态,判断测试用例执行序列的可行性,指导测试序列的构建,再结合基于集合的贪心算法对测试序列集进行优化。实验结果表明该方法能有效地保证测试覆盖度,并且提升测试效率。     

一种Web应用的状态测试方法

Web应用相对于传统的应用程序具有自身的特点,对软件测试提出了新的要求。文章从状态测试的角度讨论对Web应用的测试问题。文章在研究Web应用体系结构的基础上给出了一个Web应用程序的定义,随后结合一个Web应用程序的例子详细讨论了状态测试的方法以及在Web测试上的应用。     

基于UML状态图测试的充分性准则

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。     

基于LabVIEW的状态机模型研究

LabVIEW采用图形化编程语言(G语言),与传统的文本编程语言有显著的区别,很多在文本语言上比较成熟的架构模式却不适用于LabVIEW;通过引入状态机的基本原理,归纳总结状态机在LabVIEW中的实现方法,以及对总装维修项目"便携式舰载导弹舰面测试监控系统"的编程实践,证明了状态机是一种适用于LabVIEW的架构模式;采用状态机模型编写的LabVIEW程序,具有很好的可读性、扩展性、维护性和代码重用性.     

Chord协议的抽象状态机模型

P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。