Quality Process Convergence: Proceedings of 9th International
Software Quality Week
(QW '96),
San Francisco, CA, pp. 4T4.0-4T4.12 (1996) |
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. |
|
EVERY VISITOR COUNTS: |