In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 1, pages 824-828. 1999.
Abstract: 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 inner-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. This paper proposes 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. The generation of test cases for the method sequences of a class using coverage criteria is discussed.
Keywords: Petri nets, class Petri net machine, object-oriented class testing.
Back to the Petri Nets Bibliography