[发明专利]一种基于相对冗余测试集约简的软件缺陷定位方法

权利要求书

1.一种基于相对冗余测试集约简的软件缺陷定位方法，其特征在于包括以下步骤：

1)对源程序进行插桩，执行测试用例，收集测试用例的执行信息，包括执行结果和执行轨迹；

2)根据各个测试用例对源代码的覆盖情况，对整个测试集进行约简；约简过程为：设整个测试集为T，使用HGS约简算法对所有测试用例进行约简，得到两个测试集合，即代表集REP和冗余集RED；其中冗余集RED又可划分为高度冗余集TIE和候选集CAN，在候选集CAN中选择加入代表集REP的测试用例组成的集合记为关键集KEY，得到新的代表集相对冗余集REL-REP；

3)最后根据相对冗余集REL-REP以Tarantula方法计算语句块的怀疑率，按照其大小对语句块排序生成缺陷定位报告。

2.根据权利要求1所述的基于相对冗余测试集约简的软件缺陷定位方法，其特征在于步骤2)中从候选集CAN中选择测试用例的步骤为：根据代表集REP的情况从冗余集RED中选择关键集KEY，其中且|KEY|＜＜|RED|。

3.根据权利要求2所述的基于相对冗余测试集约简的软件缺陷定位方法，其特征在于关键集KEY的选择条件是：计算候选集CAN中每个测试用例的权重w，再根据设定保留的测试用例个数n，即|KEY|＝n，或是分界权重w_d，即对任意测试用例t∈KEY，且w_t≥w_d。

4.根据权利要求3所述的基于相对冗余测试集约简的软件缺陷定位方法，其特征在于权重的计算是根据平衡代表集中测试用例执行轨迹的分布：对代表集REP中的一个测试用例t_i和候选集CAN中的一个测试用例t_i，它们覆盖的语句块之间存在以下3种情况：

●B₁：被t_j覆盖但没有被t_i覆盖的语句块；

●B₂：被t_i和t_j同时覆盖的语句块；

●B₃：被t_i覆盖但没有被t_j覆盖的语句块。

设REP集合的大小为n，按照B₁，B₃，B₂的由高到低的权重顺序计算CAN集合中的测试用例t_j的权值w_j如以下公式所示：

wj=Σi=1nΣk=13wBk×|Bk|.]]>