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

Interclass Testing of Object Oriented Software

The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. This paper proposes a new technique for interclass testing, that is, the problem of deriving test cases for suitably exercising interactions among clusters of classes. The proposed technique uses data-flow analysis for deriving a suitable set of test case specifications for interclass testing. The paper then shows how to automatically generate feasible test cases that satisfy the derived specifications using symbolic execution and automated deduction. Finally, the paper demonstrates the effectiveness of the proposed technique by deriving test cases for a microscope controller developed for the European Space Laboratory of the Columbus Orbital Facility