Generating Test Cases of Object-Oriented Software Based on EDPN and Its Mutant

In object-oriented software testing, a class is considered to be a basic unit of testing. 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 class testing by using event-driven Petri nets (EDPN), which is an extended version of Petri Nets, one of techniques having the ability to analyze and test the behavior for the interaction between data members and member functions in class. We demonstrate how to specify a class specification by EDPNs and a given fault model by mutant of EDPNs, which is a theoretical model to describe the dynamic behaviors of EDPNs. A test case generation technique is presented to detect the given faults by analyzing the differences of test scenario in the dynamic behaviors of both EDPNs. The presented algorithm can select a test case that detects errors described in the fault models.