Patent ID: 9594543
Date: 2017-03-14
CPC Classifications: G06F

Claim:
1. A system behavior simulation method based on an activity diagram model, comprising the following steps: 1) reading a Unified Modeling Language (UML) activity diagram model stored in XML Metadata Interchange (XMI) format from a disk file; 2) parsing out various model elements, including initial node, final node, decision node, merge node, fork node, join node, action node, activity node, transition edge, and decision condition, from the UML activity diagram model, respectively, wherein, a transition edge is a directed edge for connecting nodes and indicating a node hopping direction, wherein a decision condition is a condition attached to a transition edge to control a token transition, and wherein a token is flag data that indicates an accessed node; 3) traversing the UML activity diagram model in a hybrid execution approach that incorporates symbolic execution and actual execution, and generating a set of simulation test cases, wherein the symbolic execution is used to express variables as symbols for operating a set of symbolic expressions of input variables as operation result, and accordingly update a symbol value table of the variables, and wherein the actual execution is used to substitute the variables with specific values and execute operations to obtain a set of specific values as the operation result, and accordingly update a specific value table of the variables; 4) inputting the set of simulation test cases generated in step 3) to carry out a simulated execution of the UML activity diagram model.