RT Journal Article
T1 Testing models and model transformations using classifying terms.
A1 Hilken, Frank
A1 Gogolla, Martin
A1 Burgueño-Caballero, Lola
A1 Vallecillo-Moreno, Antonio Jesús
K1 Soporte lógico de sistemas
AB 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.
YR 2016
FD 2016-11-09
LK https://hdl.handle.net/10630/30321
UL https://hdl.handle.net/10630/30321
LA eng
NO Hilken, F., Gogolla, M., Burgueño, L. et al. Testing models and model transformations using classifying terms. Softw Syst Model 17, 885–912 (2018).
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026