A traceability-driven approach to model transformation testing

Effective and efficient support for engineering model transformations is of paramount importance for automating Model-Driven Engineering (MDE) in practice. Such support should include techniques and tools for testing the correctness of model transformations. In this paper, we present a novel approach for identifying incorrect parts of model transformations by using the traceability information produced during the execution of a transformation by a transformation engine. The proposed approach relies on a transformation postprocessor in order to enrich the produced traceability information with domain-specific semantics and then to check automatically its conformance to the transformation specification.