For the most recent entries see the Petri Nets Newsletter.

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

Wang, C.-C.; Pai, W.C.; Chiang, D.-J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography