Optimizing Test Cases for Object-Oriented Software

- Testing object-oriented software is a challenging task. The inherent complexity in testing Object-oriented software is due to issues like inheritance and polymorphism. The behavior analysis and testing of object oriented software is significantly complicated because the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. This article proposes an improved technique for generating optimal number of test cases using mathematical techniques. The technique uses Colored Petri Nets (CPN), which is an extended version of Petri Nets. CPN’s are usually used for system modeling and simulation. The proposed method explores the problem to generate test cases that covers all instances of objects from different classes in the same hierarchy. It shows the effectiveness of technique by translating a specification represented by UML (unified modeling language) state chart into a CPN. The main solution of our approach will be implemented using CPN-tools

Functional Testing Using Object WorkFlow Nets

The main purpose of this paper is to present a new formal definition that can be used for modeling functional test. Initially, WorkFlow nets are used to represent the main functional requirement of the software. Next, Object WorkFlow nets derived from WorkFlow nets and object Petri nets are used to formally specify the test models of object oriented software functionalities to be used. In particular, the proposed models allow for the addition of complex data structure specifications as well as complex control specifications. The dynamic execution of functional testing models, when considering a specific software architecture, is given by the instantiation of a testing class associated with the tested functionality. An example of execution of functional testing corresponding to the "Withdrawal Operation" of a bank ATM machine is presented, as well as a comparative study based on a more traditional UML modeling approach