Research on Software Test Case Generation based on SysML

With the rapid increase of software complexity and reliability requirements, model-based software engineering is becoming more and more valuable. SysML language as the latest modelling language standard has also received more and more attention, and combining it with software testing can improve test efficiency and quality. In this paper, the established software SysML model is taken as the input, the software activity digraph is established, and the black box test profile based on operation is further established. The test sequence set is obtained from the profile according to the traversal algorithm, and the test sequence is reduced to improve the test efficiency. Finally, the elevator control software is selected for example verification, SysML model and test profile are established, and efficient test cases are generated by test sequence reduction.