 |
Conference papers
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
Abstract : Specifying a model transformation is challenging as it must be able to give a meaningful output for any input model in a possibly infinite modeling domain. Transformation preconditions constrain the input domain by rejecting input models that are not meant to be transformed by a model transformation. This paper presents a systematic approach to discover such preconditions when it is hard for a human developer to foresee complex graphs of objects that are not meant to be transformed. The approach is based on systematically generating a finite number of test models using our tool, PRAMANA to first cover the input domain based on input domain partitioning. Tracing a transformation's execution reveals why some preconditions are missing. Using a benchmark transformation from simplified UML class diagram models to RDBMS models we discover new preconditions that were not initially specified.
Cited literature [33 references]
https://hal.archives-ouvertes.fr/hal-01228715
Contributor : Jean-Marie Mottu <>
Submitted on : Friday, November 13, 2015 - 4:04:26 PM
Last modification on : Monday, February 10, 2020 - 6:12:34 PM
Document(s) archivé(s) le : Sunday, February 14, 2016 - 1:56:37 PM
Contributor : Jean-Marie Mottu <>
Submitted on : Friday, November 13, 2015 - 4:04:26 PM
Last modification on : Monday, February 10, 2020 - 6:12:34 PM
Document(s) archivé(s) le : Sunday, February 14, 2016 - 1:56:37 PM
File
issre2015MottuSen.pdf
Files produced by the author(s)
