A Construction of Fault Test Constraint Based on the Optimal Fusion Set of Multiple Slices

The standard program slicing of different slices is put into the fusion matrix of the optimal fusion to measure the consistent fusion of slices. In the biopsy of the actual fusion process, the slicing techniques with high consistent fusion and balanced fusion distribution are used to reasonably allocate each weight coefficient, and thus the final fusion estimation formula is obtained. We use slice fusion, path conditions, as well as the internal mechanism of software fault trigger and propagation, to construct the test constraint of a fault. It can help to direct high quality test case design and to evaluate the applicability of the adaptive random testing.