基于交叉熵方法的测试用例选择策略

基于交叉熵方法提出了一种启发式划分测试用例选择策略。该策略在待测软件参数已知的条件下,以总的测试费用最小为目的,利用交叉熵方法通过调整各个子域中测试用例选择的概率来选择测试用例。     

UML模型驱动的划分测试用例生成方法研究

测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。     

基于划分分析方法的测试用例生成

从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种产生此测试数据的方法．同时也说明了如何使类的方法的划分分析自动进行。以厦如何建立起给定方击的粪的序列且该序列覆盖了所有必需的测试。     

基于运行剖面的测试用例分配与选择方法

基于运行剖面的测试是在软件实际运行中找出高发生率失效的测试方法,但其不适用于已排除高发生率失效而可靠性要求较高的系统.为此,对传统的运行剖面测试技术进行改进,提出一种基于运行剖面的测试用例分配与选择方法.利用自适应的重要性抽样方法在每次迭代中动态改变测试用例的概率,并根据测试结果进行自动调整,选择更有效率的测试用例,以...     

测试用例最小化研究*

给出了测试用例最小化问题的形式化描述,提出并实现了两个新的用于用例最小化的算法.与现有其他最小化算法不同,这两个算法在考虑了每个用例测试覆盖度的同时,还考虑了用例的测试运行代价,目的是提高最小化效率.最后给出了对这两个算法进行实例研究的实验结果.结果表明,用例最小化技术能有效缩减回归测试用例集的尺寸,大幅度降低回归测试费用,提高最小化效率.     

基于多准则决策的软件可靠性模型选择方法

针对现有软件可靠性模型选择方法计算复杂和适用性差的问题,提出基于多准则决策的软件可靠性模型选择方法.定义了指导软件可靠性模型选择的若干准则,包括生命周期阶段准则、模型输入要求准则、模型输出要求准则、模型假设吻合准则和失效数据趋势准则,将这些准则分为确定性准则和不确定性准则,阐述了基于这些准则进行软件可靠性模型选择的算法,并实例验证了该方法的简单可行性.指出将这种方法与现有软件可靠性模型选择方法进行综合运用的研究方向.     

基于等价类划分的测试用例设计在软件评测中的应用

软件产品与项目的数量与复杂度的不断增加,对软件评测的工作效率及测试用例高覆盖率提出了挑战。本文通过等价类划分的介绍,划分原则的阐述,以及测试用例的实例设计,为软件评测提供了一种较好的应用方法。等价类划分法有助于提高软件评测人员的测试效率,即以相对少量的测试用例完成测试的高覆盖率。     

基于函数调用路径的回归测试用例选择排序方法研究

针对在回归测试过程中,因为不断修复软件中存在的缺陷所造成的测试工作量大、测试效率低等问题,论文将测试用例选择与优先级排序技术相结合,以面向函数调用的路径覆盖生成方法为基础,提出了一种面向函数调用路径（Functions Calling Path, FCP）的测试用例选择与排序方法。首先根据函数调用关系图,对程序中被修改函数与其他函数的关联性进行分析,从初始测试用例集中选择测试用例,形成回归测试用例集;然后对这些测试用例进行优先级排序,并动态地调整优先级排序结果;最后,对优先级排序结果进行再次选择,确定最小的回归测试用例集。实验结果表明,测试用例选择与排序方法对优化回归测试用例是有效的,大大减少了回归测试用例数量,降低了回归测试成本。     

构件软件回归测试用例选择策略

软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决.系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试.分析已有回归测试技术的不足,提出了两种改进的回归测试策略：一种是基于增强的构件版本变更信息的方法;另一种则是基于内建式测试设计的方法.通过对几个实例程序的实验分析,初步证实了所提出的方法在实际应用中的可行性与有效性.     

带有最小风险准则的两阶段模糊运输模型

基于可信性理论和两阶段模糊优化方法,提出一类新的带有最小风险准则的两阶段模糊运输模型。由于提出的模糊运输问题包含带有无限支撑的模糊变量参数,因此它是一个无限维的优化问题。为了求解这个模糊优化问题,这里将讨论两阶段模糊运输问题的逼近方法并且将逼近方法嵌套到遗传算法中产生一个基于遗传算法的混合智能算法求解提出的带有最小风险准则的两阶段模糊运输问题。给出一个数值例子来表明所设计模型和算法的实用性。     

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

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

Test criteria and coverage measures for software integration testing

The aim of this paper is to introduce a systematic approach to integration testing of software systems. Various test data selection criteria for integration testing are presented, coverage measures are introduced, and interconnection between them are discussed. The main principle is to transfer and adapt test criteria and coverage measures which are useful for unit testing to the level of integration testing. Test criteria help the tester to organise the test process. They should be chosen in accordance with the available test effort. Test coverage measures are defined as a ratio between the test cases required for satisfying the criteria and those of these which have been executed. The measures are used to obtain information about the completeness of integration tests. The approach is described for data flow and control flow oriented criteria and measures. The intention is to enable the tester to specify integration tests in advance in terms of effort, and to evaluate the results in terms of test completeness.     

基于立方体剖分的传感器网络快速三维k-覆盖判定算法

提出了一种传感器网络中基于立方体剖分的三维k 覆盖快速判定算（CP-RTCDA）和三维最大k 覆盖问题的快速求解算法（CP-RTMCDA）。算法首先把感兴趣区域剖分为立方体区域,从而将复杂的空间区域覆盖问题转化为简单的立方体区域覆盖问题。理论分析与仿真实验表明, 针对具有n个节点的传感器网络, 新算法的计算时间复杂度为O(n),远低于已有算法O(n3logn)的计算时间复杂度。     

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation

An experiment was conducted to evaluate an inter-procedural test adequacy criterion named Interface Mutation. Program SPACE, developed for the European Space Agency (ESA), was used in this experiment. The development record available for this program was used to find the faults uncovered during its development. Using this information the test process was reproduced starting with a version of SPACE containing several faults and then applying Interface Mutation. Thus we could evaluate the fault revealing effectiveness of Interface Mutation. Results from the experiment suggest that (a) the application of Interface Mutation favors the selection of fault revealing test cases when they exist and (b) Interface Mutation tends to select fault revealing test cases more efficiently than in the case where random selection is used.     

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

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

基于坏场景集的抗风险鲁棒调度模型

讨论了场景描述的不确定环境下的鲁棒调度模型. 通过对传统不确定调度模型在追求优良性能的积极性和抗风险的保守性两方面对抗和均衡关系的透视和分析, 建立了一种新的鲁棒调度模型.该模型的优化目标由平衡因子将期望性能和抗风险鲁棒度量组合而成. 抗风险鲁棒度量基于坏场景集概念而定义,坏场景集中坏场景的数目可由一个基准性能来调节,当平衡因子或者基准性能变化时, 构成一族鲁棒调度模型.一系列的定理阐明了本文提出的鲁棒调度模型族与传统不确定调度模型之间的关系, 给出了该鲁棒调度模型有效的条件.仿真测试实验针对加工时间不确定的Job-shop调度问题进行, 计算结果表明新模型在追求优良性能的积极性和抵抗风险的鲁棒性方面相对传统模型具有了更好的全面性和综合性, 可以实现调度解在不同场景下的期望性能和抗风险鲁棒性的更好平衡.