Listar por autor "Hilken, Frank"
Mostrando ítems 1-3 de 3
-
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús
; Burgueño-Caballero, Lola; Hilken, Frank (2015-07-29)
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. ... -
Generating Effective Test Suites for Model Transformations Using Classifying Terms
Vallecillo-Moreno, Antonio Jesús; Hilken, Frank; Burgueño-Caballero, Lola; Gogolla, Martin (2016-09-27)
Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ... -
Testing models and model transformations using classifying terms.
Hilken, Frank; Gogolla, Martin; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús (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 ...