[发明专利]一种基于动态基本块的缺陷定位测试用例约简方法

权利要求书

1.一种基于动态基本块的缺陷定位测试用例约简方法，在基于测试执行的语句覆盖信息的缺陷定位技术中，缺陷定位算法可以识别的最小单元为动态基本块，其特征是根据测试用例的执行路径构建语句覆盖矩阵，由语句覆盖矩阵得到动态基本块集合，根据动态基本块集合将每条测试用例表示成以动态基本块为单位的向量，将语句覆盖矩阵转换为动态基本块覆盖矩阵，对其中需要人工检查结果的测试用例集进行约简：采用最大划分策略MDS或均匀划分策略EDS挑选测试用例，并判断所挑选的测试用例是否能继续对当前已划分出的动态基本块做划分，如果能，则保留已挑选的测试用例，继续挑选余下的测试用例，如果不能，则将已经挑选的所有测试用例构成约简后的测试用例集，约简后的测试用例集用于缺陷定位。

2.根据权利要求1所述的一种基于动态基本块的缺陷定位测试用例约简方法，其特征是包括以下步骤：

1)对待测试程序P执行测试用例集TS，TS为待约简的初始测试用例集，根据测试用例执行路径收集语句覆盖信息，构建语句覆盖矩阵；

2)由语句覆盖矩阵得到动态基本块集合B(TS)，设动态基本块集合B(TS)包含n个元素B₁，B₂，...，B_n，则TS中每条测试用例t_i都被表示成一个n维的向量：

t_i＝<b₁，b₂，...，b_n>

将语句覆盖矩阵转化为动态基本块覆盖矩阵；

3)设约简后的测试用例集为TS’，初始时TS’为空集，从TS中选择任意一条出现错误的测试用例加入到测试用例集TS’中；

4)使用划分策略MDS或EDS挑选测试用例加入到TS’中，并判断所挑选的测试用例是否能继续对当前所挑选出的测试用例集所划分出的动态基本块做划分；

5)如果能，则转步骤4)继续挑选测试用例，不能则转步骤6)；

6)将挑选的所有测试用例构成约简后的测试用例集TS’，用于缺陷定位。

3.根据权利要求2所述的一种基于动态基本块的缺陷定位测试用例约简方法，其特征是最大划分策略MDS首先将步骤3)任意选择的那条错误测试t₁用例作为它选择的第一条用例，对于初始测试用例集TS，用N(B(TS))表示TS划分出的动态基本块的数量，N(B_t1(TS))表示TS对错误测试用例t₁覆盖的部分能够划分出的动态基本块数量，设当前已经选择的测试用例的集合为T₀，MDS在TS中选择使N(B_t1(T₀∪{t}))达到最大值的测试用例t，将测试用例t加入T₀，继续下一轮迭代选择，其中，当有不止一个t满足条件时，任意选择一个用例；直到对于所有未选择的测试用例t’，N(B_t1(T₀∪{t’}))都与N(B_t1(T₀))相同而不再增加，由所选择的测试用例得到最终的约简后的测试用例集为TS’。

4.根据权利要求2所述的一种基于动态基本块的缺陷定位测试用例约简方法，其特征是EDS采用迭代从TS中挑选测试用例，用Size(t，P)表示一条测试用例t划分一个临时块P产生的子块中较小的那一个包含的动态基本块的数量，假如t对P没有产生划分，Size(t，P)为0，设当前已经选择的测试用例的集合为T₀，则T₀＝T_p∪T_f，其中T_p代表正确测试用例的集合，T_f代表错误测试用例的集合，EDS挑选测试用例后后立即检查其正确与否，用N(B_Tf(T₀))表示T₀对所有已选错误测试用例都覆盖的部分能够划分出的临时动态基本块数量，EDS挑选能够使最大的用例，当对所有未挑选的测试用例都为0时，说明所有需要被划分的动态基本块都被划分开来，不再产生新的划分，EDS收敛，完成挑选，由所选择的测试用例得到最终的约简后的测试用例集为TS’。