Research And Implementation Of Software Engineering Models Test Method Based On Colored Petri Nets

Over the past few years, the process of software development is getting more and more attention, a good software process can make the software good scalability and maintainability in the development of a software project. The final state of the software is invisible to us all before we realized it, the cost to solve the problem will be a huge waste if we found the system has defects in the aspects of performance or architecture during the period of the coding. Therefore how to ensure the correctness of the software development process has already become a very important thing.As a kind of software engineering modeling documents, UML almost covers all the information of the software structure and process. We can describe the functional details and architecture development completely with UML, UML has showed its ability in analyzing and modeling stage of the software engineering. But due to the weakness of lacking of detection and evaluation ability the UML needed to be converted into another kind of formal language for performance test. However with powerful simulation and modeling ability the colored Petri net can be used as an ideal performance testing tool.We intend to transform the UML model which is designed during software engineering design phase into CPN model, then analyze the performance of relevant information and feedback through a series of CPN performance characteristics, but the key is how to complete the conversion between the two kinds of structure. Based on the previous research results, this degree thesis use use case diagram, sequence diagram and state chart diagram as information prototype. And we build the intermediate data structure through the filtering and extraction of the UML information, then transform the nodes of it into small fragments of CPN which can connect with each other end to end, so as to construct the whole CPN model. The various kinds of the graphical modeling structure in UML differ greatly in form of information storage and expression. After comparison we make the choice to use these three diagrams not only because of their appropriate contact in information expression but also for the advantage of their information integrity. The transformation process conform to the current mainstream research methods, we mainly mapping UML and CPN according with their interrelated elements and structure, and the transformation steps of firstly beating into pieces then grouping can make this two kinds of simulation process finally be unified, and hope this degree thesis can provide some enlightenment for the research work in the future.