Application Of Software Testing Based On CPN Model Derived From UML Model

Software testing is not only an important means of software quality assurance, but also a very important work in software development process. Because of lacking adequate understanding of the importance of software testing, the testing level in many domestic software enterprises is not high and software quality can not be guaranteed. Software with quality problems could lead to unpredictable consequences. Thus, how to ensure software quality and how to improve software quality has become an important issue.Although object-oriented designing improves software productivity and reliability by software reusing, characteristics of object-oriented software such as encapsulation, inheritance, polymorphism and dynamic link also affect the strategies and methods of software testing. The traditional method of testing theory is not entirely suitable for testing object-oriented software systems. With object-oriented analysis and design have matured, testing object-oriented software is a very worthwhile research. Many testing works can not simply rely on manual testing, which will inevitably lead to the appearance and application of automated testing. When UML (Unified Modeling Language) is widely accepted by the industry, it also becomes one kind of standard modeling language which the academic community follows. Many researches on object-oriented software testing focus on deriving software models from the UML diagrams. UML offers effective modeling ability, but lacks well-defined semantic base for its notation.As a modeling and analysis tools, Petri net is suitable for describing the relations in system such as sequence, concurrent, conflicts and synchronization, and has many approaches for describing system and anglicizing system behavior. There have been a number of attempts to combine Petri nets with Object Oriented concepts to profit from the strength of both approaches, because Petri nets can provide a formal semantic framework for the UML notations plus the behavioral modeling and analysis strength.This paper presents a testing framework and a method that gets the CPN models from the UML diagrams. The corresponding Coverage Metric and use case generation based on coverage metric are also presented.Finally, this paper contains four modules, namely, model conversion, use case generation, code instrumentation and information comparison. The feasibility of introducing CPN model derived from UML model in software testing fields has been verified through experiment.