测试用例选择算法和优先排序算法浅析.docVIP

测试用例选择算法和优先排序算法浅析 　　摘要:回归测试(Regression Test)在软件维护中扮演着重要的角色。为了降低成本和提高效率,软件工程人员在进行回归测试时经常从原始的测试套(Test Suite)中选择测试用例(Test Case)的子集[4]或者对已存在的测试用例进行优先排序[3]。这两种对测试用例进行优化的方法就是测试用例选择算法和测试用例优先排序算法,它们都是以贪心算法为基础的,使用了某种测试充分性准则(Test Adequacy Criteria)的解决最优性的算法。 　　关键词:算法;排序 　　中图分类号:TP391文献标识码:A 文章编号:1009-3044(2010)21-5776-03 　　1 回归测试概述 　　据估计,软件维护活动的成本占整个软件生产费用的三分之二;其中,回归测试是一个必需但是代价高昂的手段。回归测试是执行在修改了的程序上的测试,它用来逐步确信一个被修改的程序的修改部分是正确的,并且修改没有负面影响程序的未修改部分。 　　回归测试一共有五个基本步骤。假设P是一个程序,P是P的一个修改的版本;T是一个P的测试套,一个典型的回归测试步骤如下: 　　1)选择一个T的子集T,T是一个执行在P上的测试用例集合 　　2)用T测试P,建立P关于T的正确性 　　3)若需要,针对P,创建一个新的功能或者结构测试用例集合T 　　4)用T测试P,建立P关于 T的正确性 　　5)从T、T、T中建立一个新的测试套和测试执行信息(Test Execution Profile),叫做T。 　　2 实验室工作简介 　　黑盒构件是指源代码不可见的构件。目前,黑盒构件已经得到了的广泛应用和重用,但是,测试一个基于此类构件的软件系统时,建立一个测试充分性准则是比较困难的。回归测试依赖于测试充分性准则,TS算法和TP算法都需要根据此准则给出。所以,如何在看不到源码的情况下得到TAC就是一个亟待解决的问题。 　　接口合约(Interface Contract)描述了构件使用者和构件提供者之间的权利和义务。在本实验室的工作中,我们把变异(Mutation)应用到接口合约中,来模拟在构件环境下可能发生的错误。这样,TAC就可以演化为变异充分度评价(Mutation adequacy score)。MAS是接口合约的变异体(Mutant)被杀死的数量。TS算法和TP算法都可以使用我们的充分性准则,来对黑盒构件的回归测试的测试套进行优化。 　　3 测试用例选择算法 　　测试选择问题(Test Selection Problem)是指获得一个测试套的子集,这个子集依然可以满足初始测试套的测试目标。具体来说,对于一个测试套TS,r1、r2、…、rn是一个测试用例的需求的集合,这个集合必须可以提供程序所需的测试覆盖。在我们的项目中,ri是变异体,变异体被杀死则说明该需求被覆盖。T1、T2、…、Tn是TS的子集,每一个子集和一个需求(变异)相关联。子集Ti中的任何一个测试用例tj都可以用来测试ri。测试选择问题就是从TS中找到一个测试用例的集合可以测试到所有的ri。 　　回归测试选择(Regression Test Selection)有多种技术实现。一种简单的方法就是把TS中的所有集合重新测试一遍,但这样的代价过大、效率过低。还有一种叫做Random/Ad-hoc Technique的技术,该算法先进行若干轮随机选择,然后再对没有覆盖到的ri进行补充。 　　我们使用的是Minimization Technique。该技术可以分为应用于黑盒和应用于白盒两类。应用于黑盒测试MT的需求是基于规范的测试选择,例如条件覆盖(接口合约以及合约的变异);白盒测试的重点是代码和版本,它的需求包括结构覆盖。 　　测试用例选择算法的核心思想是贪心法。算法每次找到一个变异,该变异对应的测试用例集中的元素个数最少;然后在该测试用例集中选择能够覆盖变异数量最多的测试用例,将所有能够被该测试用例覆盖的变异体从变异集合中删除,并把该测试用例加入被选集合。在本实验室的工作中,我们为一个ATM机程序自动生成了接口合约,并植入了错误和变异。我们使用120个数据和28个变异体来进行实验。具体算法如下: 　　输入:变异体和测试用例集的二元关系表 　　输出:选择的测试用例集合 　　1) while (1) 　　2) 计算每一个变异体对应的测试用例集中的元素个数 　　3) 计算每一个测试用例可以杀死的变异体个数 　　4) total - 计算所有的测试用例集中的元素数量 　　5) if ( total == 0) 　　6) break 　　7) 选择对应测试用例集中元素最少的变异体 　　8) 选择这个变异体对应的测试