Title :
A dynamic approach for object-oriented cluster-level tests by program instrumentation
Author_Institution :
Dept. of Comput. Sci., Jinan Univ., Guangzhou, China
Abstract :
A static approach of cluster-level testing for object oriented software systems has been proposed previously. The present paper presents a dynamic approach for cluster-level testing. The approach is based on contract specification for message passing across different classes in the given cluster. The program instrumentation technique is used in this dynamic approach. A prototype of a semi-automatic CASE tool supporting this approach has been developed
Keywords :
computer aided software engineering; formal specification; message passing; object-oriented programming; program testing; software tools; contract specification; dynamic approach; message passing; object oriented software systems; object-oriented cluster-level tests; program instrumentation; semi-automatic CASE tool; Clustering algorithms; Computer aided software engineering; Contracts; Formal specifications; Instruments; Message passing; Prototypes; Software systems; Software testing; System testing;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.885986
