Dissertation
Dissertation > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Maintenance

Formalization-based Methed to Generate Test Sequence of UML

Author LiuWei
Tutor WangZhuo
School Harbin Engineering University
Course Applied Computer Technology
Keywords UML state diagram Test sequence Extended finite state machine Software Testing
CLC TP311.53
Type Master's thesis
Year 2011
Downloads 5
Quotes 0
Download Dissertation

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)

Related Dissertations
More Dissertations