2026-05-27T05:32:42Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/101842026-02-03T12:09:03Zcom_10630_2254col_10630_37959

Gogolla, Martin Vallecillo-Moreno, Antonio Jesús Burgueño-Caballero, Lola Hilken, Frank 2015-07-29T09:43:06Z 2015-07-29T09:43:06Z 2015-07-29 http://hdl.handle.net/10630/10184 This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term can be an arbitrary OCL term on the class model that calculates for an object model a characteristic value. From each equivalence class of object models with identical characteristic values one representative is chosen. The constructed test cases behave significantly different with regard to the selected classifying term. By building few diverse object models, properties of the UML and OCL model can be explored effectively. The technique is applied for automatically constructing relevant source model test cases for model transformations between a source and target metamodel. eng open access by-nc-nd Modelos Employing Classifying Terms for Testing Model Transformations conference output