基于多切片最优融合集的故障测试约束构造方法

针对故障测试约束构造过程相当复杂，计算开销太大，测试用例设计质量不高，不利于广泛运用，提出一种基于多切片最优融合集的故障测试约束构造方法，采用同一切片标准的不同程序切片构造融合度矩阵来度量切片的一致融合度，通过利用切片融合度、路径条件以及软件故障触发与传播的内在机制进而构造某个故障相应的测试约束，可控制测试用例的规模，提高测试用例设计质量。实验结果表明，这种故障测试约束与传统基于谓词约束和必要性约束比较，生成的测试用例规模较小，很少生成无效测试用例，发现Bug的效率很高。

Method of constructing multi slice fault testing constrains based on optimal fusion set

The process of fault testing constraint construction is very complex, with low quality of test case design, high computational overhead and disadvantage of extensive application. Aiming at these problems, a multi slice optimal fusion set fault testing construction method is proposed. Different slices that use the same slicing standard, construct a fusion degree matrix, and then it uses this matrix to measure the consistency. By using the slices degrees of fusion, internal mechanism of route condition and software fault triggering and transmission, it can construct a corresponding test constraint of a cer-tain fault. It can control the scale of the test case and improve the quality. The experimental results show that, by compar-ing with the traditional constraint which is based on predicate and necessity, this kind of fault testing constraint can gene-rate a smaller test case and seldom appear a useless one, the efficiency of finding bugs is high as well.