2026-05-30T03:19:34Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/303212026-02-03T11:31:33Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Hilken, Frank author Gogolla, Martin author Burgueño-Caballero, Lola author Vallecillo-Moreno, Antonio Jesús author 2016-11-09 This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints. Classifying terms permit defining equivalence classes, in particular for partitioning the source and target model spaces of the transformation, defining for each class a set of equivalent models with regard to the transformation. Using these classes, a model validator tool is able to automatically construct object models for each class, which constitute relevant test cases for the transformation. We show how this approach of guiding the construction of test cases in an orderly, systematic and efficient manner can be effectively used in combination with Tracts for testing both directional and bidirectional model transformations and for analyzing their behavior. Hilken, F., Gogolla, M., Burgueño, L. et al. Testing models and model transformations using classifying terms. Softw Syst Model 17, 885–912 (2018). https://hdl.handle.net/10630/30321 10.1007/s10270-016-0568-3 Soporte lógico de sistemas Testing models and model transformations using classifying terms.