Automatic Test Cases Generation Based on State Machine Diagram of Systems Modeling Language

This paper presents a method for automatically generating effective test cases based on SysML state diagrams. The method firstly obtains Systems Modeling Language (SysML) state diagrams described in XML format, using Document Object Model to parse the model information. Secondly, the Finite state machine (FSM) is chosen as the intermediate transformation model, during which concurrent and composite states are processed. Based on this, test paths are generated using the All Transitions (AT) algorithm and the Modified Condition/Decision Coverage (MC/DC) algorithm. Test data are created using constraint-solving methods, ultimately leading to the output of effective test cases.