Using a petri net model approach to object-orient 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 whichthe methods can be executed. In this paper, 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 testcases for the method sequences of a class using coverage criteria.