Transformation of UML interaction diagrams into contract specifications for object-oriented testing


Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such… (More)
DOI: 10.1109/ICSMC.2007.4413576


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics