Ponencia
TractsTool: Testing Model Transformations based on Contracts
Autor/es | Burgueño, Loli
Wimmer, Manuel Troya Castilla, Javier Vallecillo Moreno, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2013 |
Fecha de depósito | 2018-04-24 |
Publicado en |
|
ISBN/ISSN | 1613-0073 |
Resumen | Model transformations play an important role in Model-Driven Engineering
(MDE), and as their size and complexity grow, there is an increasing
need to count on tool support for testing their correctness. In this work, ... Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts. |
Agencias financiadoras | Ministerio de Ciencia e Innovación (MICIN). España |
Identificador del proyecto | TIN2011-23795 |
Cita | Burgueño, L., Wimmer, M., Troya Castilla, J. y Vallecillo Moreno, A. (2013). TractsTool: Testing Model Transformations based on Contracts. En MODELS-JP 2013: Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (76-80), Miami, USA: CEUR-WS. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
TractsToo.pdf | 243.5Kb | [PDF] | Ver/ | |