›› 2013, Vol. 39 ›› Issue (1): 57-62.doi: 10.3969/j.issn.1674-1579.2013.01.010

Previous Articles    

Generation Method of Embedded Software Testing  Cases Based on UML Model

Abstract：Software testing is an important means of ensuring embeddedsoftware quality, in which the completeness of test cases is a key factor. In this paper, a method of generating test cases based on the unified modal language (UML) state diagram is studied. According to the state, migration invariance principles and action mapping, the UML state diagram can be transformed to an extended finite state machine (EFSM). With breadthfirst search, the state and migration covering principles are satisfied. Then test cases are generated by test sequences and the lookup table. Finally, an example is given to demonstrate the feasibility and efficiency of the method.   

  1. (Beijing Institute of Control Engineering, Beijing 100190，China）
  • Online:2013-02-24 Published:2013-02-26

PDF (PC)

774

Like

Abstract: Abstract：Software testing is an important means of ensuring embeddedsoftware quality, in which the completeness of test cases is a key factor. In this paper, a method of generating test cases based on the unified modal language (UML) state diagram is studied. According to the state, migration invariance principles and action mapping, the UML state diagram can be transformed to an extended finite state machine (EFSM). With breadthfirst search, the state and migration covering principles are satisfied. Then test cases are generated by test sequences and the lookup table. Finally, an example is given to demonstrate the feasibility and efficiency of the method.

Key words: Keywords：embedded software, test case, UML state chart, EFSM

CLC Number: 

  • TP311
Copyright © Aerospace Contrd and Application, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd