Quality Process Convergence: Proceedings of 9th International Software Quality Week (QW '96),
San Francisco, CA, pp. 4T4.0-4T4.12 (1996)

Test Case Generation for Class-Level Object-Oriented Testing 1

T.H. Tse 2 and Zhinong Xu 3

[postprint]

 ABSTRACT

We discuss a new testing process to generate test cases for object-oriented programs. We focus on classes with mutable objects. The test case construction process is guided by formal object-oriented specifications. In our approach, testers first analyze the formal specification of a class to partition the state space of the class and identify a test model that is based on finite-state machines, then analyze the class specification and the test model to select a set of test data for each method of the class, and finally prepare the test cases of the class from the test model by following various well-developed testing criteria. This paper also extends the subtype relationship to allow testing information on superclasses to be inherited by subclasses. The subtype relation is defined on the formal specification and test model, and improves on the effectiveness of testing using the class inheritance hierarchy.

1. This project is supported in part by a grant of the Research Grants Council of Hong Kong and a research and conference grant of The University of Hong Kong.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
Email:
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
(On leave from the Department of Computer Science, Jinan University, China.)

 EVERY VISITOR COUNTS:

  Cumulative visitor count