Test case multiplexing method based on program path similarity

The invention discloses a test case multiplexing method based on program path similarity. According to an existing test case reuse method, an association binding relation between program test data and a program structure is ignored; according to the method, through control flow static analysis and path similarity calculation, the transmission process of control flow information of a program and the difference between a new program and an old program are better embodied, coverage information is executed in combination with a dynamic program, the accuracy of data is guaranteed, and a test case and a source program path are organically combined; and meanwhile, a more perfect test case is automatically generated in combination with the use of a Z3 constraint solver, and the practicability of the method is further improved. In addition, under the condition that program source codes are not changed much, the test case set of the previous version code can be reused according to the high similarity between the new ve