MC/DC coverage use case generation method based on symbolic execution and path number reduction

The invention discloses an MC/DC coverage use case generation method based on symbolic execution and path number reduction. The method comprises the following steps: firstly, analyzing a source code of a to-be-tested program, and collecting each judgment expression needing to be covered and each condition in the judgment expression; secondly, instrumenting source codes, and modifying the source codes of the judgment statements, so that the program can record MC/DC coverage rate information in the execution process, and the execution logic is kept unchanged; performing static analysis on program operation, and obtaining a reachable judgment set of each basic block of the program according to a program control flow diagram; and finally, performing symbolic execution on the program after instrumentation, and merging and pruning symbolic execution paths according to coverage rate information and a static analysis result. According to the method, the program is subjected to instrumentation, static program analysis