Research On Test Case Generation Of Object-oriented Based On Model

With the application of computer software using a lot in all aspects of life, in particular in key areas of the national economy, people demand its quality and reli-ability of the software higher. Software testing has been paid attention to as it is an important means of protecting software of quality and reliability.Object-oriented software development technology is the mainstream of the software development. So object-oriented testing technology has become a current research focus. As there are many different between object-oriented development technology and traditional software development, therefore object-oriented software testing must absorb traditional testing methods and present new testing methods.Firstly, this paper reviews the knowledge of software testing, including the testing process model of 3 commonly used ones and software testing of 4 different categories.Second, this paper describes the application of basic knowledge related to test-ing. It mainly describes the technologies and features of the software testing, and these features on the impact the of software testing. This paper also introduces the model-based testing, including the basic process of model-based testing and its ad-vantages and disadvantages. Finally, the use of the UML model, LTS model, Petri net model and the EFSM model are also described.Based on the above analysis, this paper presents two model-based test case generation models. The first method is based on the UML model and the LTS model of test case generation. The method introduces a UML state diagram modeling rules, proposes the rule of converting UML state diagram to LTS model and the process of path generation. Finally this method is proved effectively by an example. The main process of the method is to firstly build the model from the source code, and get LTS model by the conversion rules of UML model to LTS model, then get the path con-version by the path generation process, finally get the test case from path conversion and test the program by the test case. Advantage of the method is simple and effec-tive. The second method is based on the UML model and the Petri net model of test case generation. The method introduces the reachability, weak liveness, coverability of the Petri net. It proposes to analyze the UML state diagrams by the analysis tools of reachable marking graph and reachability tree. Finally, this method is proved ef- fectively by an example. The main process of the method is to build the software model by UML state diagram, get the path conversion by EFSM model, get the Petri nets by the conversion rules of UML state diagram to Petri nets, and analyze the path conversion by Petri nets. By the means of rigorous maths tools of Petri net analysis, it eliminates the shortcomings of test cases generation by UML state diagram and EFSM model.