Test case set reduction method based on program slice

The invention discloses a test case set reduction method based on a program slice, and relates to the field of software testing. The test case set reduction method is based on a program slice algorithm and a GRE algorithm and is recorded as a GRE-R-T algorithm. Test requirement reduction and test case set reduction are combined. Firstly, test requirements are subjected to slice calculation, an obtained slice and a program associated with the test requirements are combined to generate a test case set corresponding to statements in the slice, and finally, the test case set is subjected to reduction according to the GRE-R-T method. Compared with a traditional algorithm, the GRE-R-T algorithm is characterized in that the test case set is effectively subjected to the reduction, an amount of detected bugs is not lowered, and test time and workloads are greatly saved. 本发明所述基于程序切片的测试用例集约简方法,涉及到软件测试领域,基于程序切片算法和GRE算法，记为GRE-R-T算法，将测试需求约简和测试用例集约简相结合，首先对测试需求进行切片计算，使得到的切片和测试需求相关的程序结合，生成和切片内的语句对应的测试用例集，最后根据GRE-R-T方法来对测试用例集进