Test Case Generation Method Based On Specification And Application In Embedded Software Testing

This thesis studies the test case generation technology of object-oriented software。 The target is to synchronally generate code-independent test case in early period of software development and improve the productivity and quality of software. Moreover, real time testing technique for real-time embedded software is discussed in the paper. The main research contents are as followed:First this paper analyzes the method of test case generation based on state diagram of UML, including mensurability, formal specification method and the transform of hierarchy and concurrency structure of state diagram , second compares the advantages and drawbacks of FSM methods and discusses test coverage rule and the problem of state unattainability for UIO method and then gives an advanced method that extends state coverage rule to state-and-transition-coverage rule and avoids state unattainability. Aiming at state transitions uncertain and testing sequence's unable performance in EFSM this paper presents a method to partition the domain of precondition, transform EFSM to certain test scenes and generate test sequence by FSM-based method. At last combining with DARTS method a test case generation model for real time embedded software is presented by using time auto-machine model and appending time scheme in z specification language to describe real-time property . In order to improve testing efficiency, this paper sets up a model system and analyses the feasibility integrating this system and CASE tool Rational Rose. It can improve the automatization grade of software test to integrate rose and the test case generation module.