Application of Software Testing Based on CPN Model Derived from UML Modes
Junjie Chen · Jisuanji gongcheng · 2008
When Unified Modeling Language(UML) 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 test focus on deriving software models from the UML diagrams. UML offers effective modeling ability, but lacks well-defined semantic base for its notation. Petri nets can provide a formal semantic framework for the UML notations plus the behavioral modeling/analysis strength. This paper presents a method that gets the Colored Petri Nets (CPN) models from the UML diagrams. The method utilizes the state machine diagrams and the sequence diagrams. The framework of the support tool, U2CPN, is also presented.