TractsTool: Testing Model Transformations based on Contracts

Description

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.

Abstract

Ministerio de Ciencia e Innovación TIN2011-23795

Additional details