A Research On Software Testing Model And Modeling Tool Based On Petri Net

With rapid development and application Of OO software development technology, OO testing technology has become hot spots of research. Because of the complicacy of Message interaction among classes in OO software, class testing will be difficulty of OO software test.UML characteristic is well -defined, and is easy to describe the software. It is not only back up the OOA and OOD, but also the whole procedure from the demand to the development. But as a semi-formal tool, UML is lack of dynamic semantics, and there is a defect in analysis of special specification. As a formal language, Petri net is characteristic of dynamic semantics, so helps to specification analysis. Furthermore, petri net model is visual and is easily understood by user, it is more convenient for user to participate in software testing based on petri net model. Especially, Connection by node and object in the model conveniently establishes corresponding relation of event and object, and provides the foundation for OO class testing.This paper discusses software testing technology using UML sequence diagram, UML state diagram and petri net, and captures formal specification of system action by combining UML with petri net. With a view to OO Class Test, The project uses petri net model to formally describe whole system action, presents a method of testing sequence generation based on the model. Finally, the paper introduces design and realization of software test tool, the tool provides design, analysis and simulation of model and test case generation based on petri net reachability tree for software system.