Presentation
TractsTool: Testing Model Transformations based on Contracts
Author/s | Burgueño, Loli
Wimmer, Manuel Troya Castilla, Javier Vallecillo Moreno, Antonio |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2013 |
Deposit Date | 2018-04-24 |
Published in |
|
ISBN/ISSN | 1613-0073 |
Abstract | 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. |
Funding agencies | Ministerio de Ciencia e Innovación (MICIN). España |
Project ID. | TIN2011-23795 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
TractsToo.pdf | 243.5Kb | [PDF] | View/ | |