A Formal Framework for Improving Object - Oriented Software Testing

(a) Method-level (or unit) testing refers to the internal testing of an individual method in a class. Existing testing techniques for conventional programming languages [10-11] are fully applicable to method-level testing. (b) Methods and attributes make up a class. Class-level (or intra-class) testing refers to the testing of interactions among the components of an individual class. (c) Cooperating classes of objects make up a cluster. Cluster-level (or inter-class) testing refers to the testing of interactions among objects. (d) Clusters make up a system. System-level testing is concerned with the external inputs and outputs visible to the users of a system. ________________________________________________________________ * This project is supported in part by a grant of the Research Grants Council and a CRCG grant of the University of Hong Kong.