TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser

2009

Abstract

Model Driven Engineering (MDE) introduces the model paradigm as the basis of system design. It increases reusability in the development of complex systems. Nevertheless, with this new paradigm, traditional issues such as system debugging or system evolution management have to be performed in a different way. Existing techniques require to be adapted. We have shown the feasibility of traceability to solve these issues. However, system debugging can only be undertaken if the developer trusts the compiler. In MDE, the compiler is a transformation chain. It is hence important to test the transformations and possibly to debug them. In this paper, we demonstrate that our traceability mechanism coupled to our error localization algorithm eases the transformation test. Indeed, it highlights the succession of rule that leads to a faulty output element. This approach is illustrated in the context of embedded system development.

Paper Citation

in Harvard Style

Aranega V., Mottu J., Etien A. and Dekeyser J. (2009). TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 66-73. DOI: 10.5220/0002264700660073

in Bibtex Style

@conference{icsoft09,
author={Vincent Aranega and Jean-Marie Mottu and Anne Etien and Jean-Luc Dekeyser},
title={TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={66-73},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002264700660073},
isbn={978-989-674-009-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION
SN - 978-989-674-009-2
AU - Aranega V.
AU - Mottu J.
AU - Etien A.
AU - Dekeyser J.
PY - 2009
SP - 66
EP - 73
DO - 10.5220/0002264700660073