Research And Application Of Automatic Test Case Generation Method Based On SysML Model

The model-based testing technique is a direction of the development of system testing.As the software/hardware system is becoming more and more complex nowadays,traditional testing technique becomes low-effective and hard to preserve the stability of system,specially for safety-critical systems such as avionics and railway transportation systems.The model-based testing technique can well cover the shortage of traditional testing technique,with the features of high automation and strong ability of preserving the stability of system.The invention and development of SysML has promoted the development of model-based testing technique.SysML is a visual modeling language,it can model the behaviour of complex system.This paper focuses on the research of the automatic testing technique based on the SysML activity diagram.Firstly,we make a deep analysis of the SysML activity diagram,and a detailed understanding of the structure of the activity diagram.We design the modular algorithm for the activity diagram,and make an automatic analysis of the activity diagram.The generated test case set satisfies the activity diagram test case set adequacy criterion.Secondly,we define activity diagram test case set completeness criteria.We design a test case generation method for the the activity diagram.This method consists of the test path generation algorithm of the activity diagram and the test data generation method for the activity diagram.The test case generation algorithm can generate the test paths for many types of activity diagram with complex structure.The test data generation method can generate necessary test data.Thirdly,we design an optimized method to handle the problem when there are too many test cases.Based on the paths and the data,we propose the optimized methods for test paths and test data.According to the experiment results,we prove that the optimized method of test cases we design can well limit the number of test cases.