基于通用充分性准则的测试性试验方案研究

建立了故障模式与被测单元(UUT)特性之间的关系模型,根据关系模型建立了样本集的通用充分性准则。在通用充分性准则的基础上,研究了确定试验方案的新方法,包括确定样本量和建立样本集的方法,以及相应的合格判断方法。通过实例应用说明了方法的可行性。与现有方法相比,新方法更适用于现有的指标要求情况和多参数综合试验的需求,而且建立的样本集可以覆盖UUT的重要特性。

几种范畴划分测试充分性准则的比较

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。

常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。

超文本应用软件测试充分性准则初探

在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。

软件测试的充分性准则及其评价指标

充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常用的软件测试充分性准则,指出这些充分性准则所适应的不同测试类型.

基于UML状态图的软件测试充分性准则研究

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。

基于二阶Markov模型的改进相对熵测试充分性准则

为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性”影响并将原始相对熵进行边界化处理和对称性设计,使测试执行过程更加充分和稳定。数值实验结果表明,在不降低可信性的前提下,该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性,对单元测试的测试用例生成策略的优化设计有一定的指导意义。

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。

基于块的测试充分性度量准则及其测试复杂性度量

1 引言 近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏.所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度.以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段.

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .

软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。

上下文无关文法测试充分性

讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 .

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。

线性独立路径覆盖率的软件测试充分性判别方法

软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。

对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.

一种新的变异测试数据自动生成方法

变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.

基于智能非信息素蜂群优化的软件测试研究

针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的测试实例中选出有效的测试实例。利用这些代理的并行特性,并使用路径覆盖范围作为测试充分性准则,提高了测试实例在每次迭代过程中的路径覆盖范围,加快了解的产生速度,从而提高了该方法的运行速度和效率。仿真结果比较了该方法与蚁群优化算法的性能,证明了该方法的收敛速度和优化质量均优于蚁群算法。

一种面向缺陷的软件测试方法:变异测试

软件测试是保证软件质量的重手段。变异测试是一种行之有效的软件测试方法,系统地模拟软件中的各种缺陷,然后构造能够发现这些缺陷的测试数据集。通过简介绍变异测试的基本原理,分析软件故障模型与变异算子的关系,探讨了变异测试中测试数据自动生成的方法,并指出变异测试进一步的研究方向。

软件测试技术的研究进展

软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史,讨论了软件测试技术的研究成果,包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术,可为软件测试学科建设及其研究方向提供参考。

面向代数规约测试谓词/变迁网

针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.