Abstract:

The unified modeling language (UML) and object constraint language (OCL) are introduced into the embedded software testing field, and the testing modeling process based on realtime extended UML are studied firstly. Then, the realtime extensive methods of UML state diagram and class diagram are presented. Finally, combined with the avionics embedded software test case generation practice, the static and dynamic modeling of software under test (SUT) are described in detail. Meanwhile, the definition of the extended test sequence and its generation method are put forward and the generated test cases are eventually stored using extensible markup language (XML). The project application verification result shows that the proposed method can fully make use of the advantages of tool resource of the UML which has been as the industry standard and improve the efficiency, accuracy and the automatic level of embedded software test case generation.