The invention discloses a parallel symbol execution
system based on multi-Agent distributed scheduling. The
system comprises a distributed scheduling and monitoring unit, an execution track
generating unit, a symbol
execution unit and a constraint solving unit. The distributed scheduling and monitoring unit is used for achieving pipeline
parallel scheduling on the execution track
generating unit, the symbol
execution unit and the constraint solving unit, the parallel operating degree of the
system is increased, and loads are balanced. The execution track
generating unit is used for actually executing specific input drive measured programs, detecting whether abnormalities are generated or not, recording a program execution
instruction sequence and generating a program execution track in an intermediary language expression form through analysis and transformation. The symbol
execution unit is used for conducting symbolic
simulation execution on the program execution track, collecting constraint conditions of
route branches and generating a corresponding constraint expression. The constraint solving unit is used for conducting depth-first
negation solving on the constraint expression, generating a new input sample, marking the negated expression and avoiding repeated
route analysis. A realized task scheduling policy can realize pipeline parallelism, and the problem of load imbalance caused by the fact that only program execution sub-trees serve as scheduling loads is avoided.