Using a Petri net model approach to object-oriented class testing

In an object-oriented model, a class is considered to be a basic unit of testing. Methods (member functions) of a class can have different types of inter-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. We propose a class Petri net machine (CPNM) for specifying method sequence specification of a class and present a test-case generation technique based on Petri nets. In our technique, we discuss generating test cases for the method sequences of a class using coverage criteria