关键词: 程序切片, 软件测试, 最优融合集, 测试约束

Abstract: 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 certain fault. It can control the scale of the test case and improve the quality. The experimental results show that, by comparing 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.

Key words: program slicing, software testing, optimal fusion set, test constraint