Activity Diagram Model-Based System Behavior Simulation Method

摘要

An activity diagram model-based system behavior simulation method. First, a to-be-simulated unified modeling language activity diagram model is read and parsed, and extracted therefrom is important model element information, and a complete model mapping is constructed in a memory; then, the unified modeling language activity diagram model that is read is parsed, and various model elements respectively are parsed from the unified modeling language activity diagram model; then, a hybrid execution concept is combined and employed for continued specific execution, symbolic execution, and constraint solving, and the process is terminated insofar that a node coverage threshold is reached; and finally, simulated use cases collected in the preceding step is used for simulated execution of the unified modeling language activity diagram model. This implements automatic generation of the simulated use cases used for simulated execution of the unified modeling language activity model, construction of a simulated execution environment for the unified modeling language activity diagram model, compilation of statistics on node coverage information of the simulated use cases of the unified modeling language activity diagram model, and feedback of a simulated execution result.