Skip to Main Content
We proposed a systematic methodology TACLLE for testing object-oriented software at class-and cluster-levels, which has been published in ACM Transactions on Software Engineering and Methodology (vol.10, no.1, p.56-109, 2001). The methodology for cluster-level is based on contract specification for message passing across different classes in the given cluster. Recent years, more and more software developers use UML (Unified Modeling Language) and corresponding visual modeling tools to develop their application software. We discuss how to use our TACCLE methodology to test UML-based software at cluster-level. In UML model, message passing across different classes in a given use case is described by interaction diagram, i.e. sequence diagram or collaboration diagram. A use case corresponds to a luster. We present a set of guidelines to guide the tester to transform the given sequence diagram or collaboration diagram for a given use case into corresponding contract specification CnSp. By means of the CnSp, our TACCLE methodology can be used to test the implementation of the cluster corresponding to the given use case.