Formalization-based Methed To Generate Test Sequence Of UML

The quality of test sequence directly affect the quality of test. How to generate the optimal test sequence is an important research direction in testing field. In recent years, UML is a tool which is wide application in development of object-oriented system. UML is easy to express, well-defined, powerful and widespread. Currently, it is frequently used for UML to build software model. Also, UML is wide application in the test field. According to this background, this paper studies the methods and procedure of generating test sequences based on formalized UML.Firstly this paper introduces some basic knowledge of the software testing such as:the definition, the importance, purpose, process, the method of test, especially to elaborate object-oriented software testing technology and the design method of test case. Then it introduces basic concept of UML, and the basic rules of grammar chart and collaboration diagram. Also, it presents the method to formalize and transform collaboration diagram (statechart diagram) to directed digraph (tree structure respectively).Using above methods not only formalize description of collaboration chart and state chart but also lay a foundation for generating test sequence. Then it analyses the basic principle of EFSM (Extension Finite State Machine), and gives the method to formalize and transform statechart to EFSM by examples. With the hierarchy and concurrency of UML state chart, traditional flow analysis technology cannot direct apply, so we utilize EFSM to flatten state diagram and removed the hierarchy and concurrency. Then through using MDFSCMost Depth First Search), it traverses assignment test tree produce by EFSM to generate test sequence. According to generated sequences by EFSM, it would find more probability of error, and the test sequence can satisfy the state migration coverage criteria, which reduces the test cost. Finally providing the examples of AUV control system, it proves the practicality of generated test sequence based on MST (Multiple State Tree)...