Dissertation > Excellent graduate degree dissertation topics show

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
Quote: 0
Read: Download Dissertation

Abstract


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

  1. Research on Object-Oriented Integration Testing Method,TP311.53
  2. The Software Testing Technique Research of the ECDIS Based on Program Slicing,TP311.53
  3. Study on Performance System for CP Software Testing Centre,F272.92
  4. Software Testing in Flash Ring System and Platform for China Telecom,TP311.53
  5. Algorithms and Software for Areal Surface Texture Analysis and Evaluation,TP311.52
  6. Telecom BOSS system software testing,TP311.53
  7. Error location based on the program execution method,TP311.52
  8. Cloud-based Software Testing Services Research,TP311.53
  9. E-commerce design and implementation of online bookstore,TP311.52
  10. A base software inspection station test management information system design and implementation of the key issues,TP311.52
  11. Protocol Conformance Test Research of Communication Based Train Control System,U284.48
  12. System Testing of Chip Operating System (COS)on Ic Smart Card,TP311.52
  13. Design and Implementation of Software Test Cases Management System Based on J2EE,TP311.52
  14. Design and Realization of Map Management Information System,P208
  15. The Research and Implementation of Interface Automated Testing for PTN Network Management System,TP274
  16. Robot technology -based GUI test automation system design and implementation,TP274
  17. Research on the Test Suite Generation for Security Protocol,TP393.08
  18. J2EE Integration Development Framework and Its Application,TP311.52
  19. The Research of Boundary Effect and Operational Costs in FSCS,TP311.52
  20. The AOP code several specific defects in the software test methods,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Maintenance
© 2012 www.DissertationTopic.Net  Mobile