A new approach and CASE tool for object-oriented dynamic tests at cluster-level with data types of pointer and reference

A dynamic approach of cluster-level testing for object oriented software system has been proposed in our previous paper published in IEEE SMC-2000. As an improvement, this paper presents a new approach for cluster-level testing. A prototype of a semi-automatic CASE tool supporting the new approach has been developed. This paper also outlines the design and implementation of the CASE tool. The analysis for message passing through data type of pointer and reference is more complicated and difficult than that through other data types. This paper also describes the details of the analysis for pointer and reference.