Generation Method of Embedded Software Testing Cases Based on UML Model

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.