Skip to Main Content
In object-oriented software testing, a class is considered to be a basic unit of testing. Attributes of object-oriented software such as inheritance and polymorphism make behavior analysis and test significantly complicated because the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. In this paper, we propose a new technique for generating the test case by Colored Petri Nets (CPN), which is an extended version of Petri Nets and usually used to system modeling and simulation. Our method considers net-explosion problem and also our generated Net covers all Instances of Objects from Different Classes in the same hierarchy by introducing new algorithm to convert UML Statechart to CPN. A case study is presented to show the benefit of our approach and resulting Net is implemented in CPN-Tools.