Mostrar el registro sencillo del ítem

dc.contributor.authorHilken, Frank
dc.contributor.authorGogolla, Martin
dc.contributor.authorBurgueño-Caballero, Lola 
dc.contributor.authorVallecillo-Moreno, Antonio Jesús 
dc.date.accessioned2024-02-09T13:30:23Z
dc.date.available2024-02-09T13:30:23Z
dc.date.created2024
dc.date.issued2016-11-09
dc.identifier.citationHilken, F., Gogolla, M., Burgueño, L. et al. Testing models and model transformations using classifying terms. Softw Syst Model 17, 885–912 (2018).es_ES
dc.identifier.urihttps://hdl.handle.net/10630/30321
dc.description.abstractThis 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.es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectSoporte lógico de sistemases_ES
dc.subject.otherModel transformationses_ES
dc.subject.otherContract-based specificationses_ES
dc.subject.otherEquivalence partitioninges_ES
dc.titleTesting models and model transformations using classifying terms.es_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.identifier.doi10.1007/s10270-016-0568-3
dc.type.hasVersioninfo:eu-repo/semantics/acceptedVersiones_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem