Abstract
Model Driven Engineering (MDE) promotes models as main artifacts in software development process. Each model represents a viewpoint of a system. MDE aims to automatically generate code from an abstract model, using various intermediary models. Such a generation relies on successive model transformations shifting a source model to a target one. The resulting transformation sequence corresponds to the skeleton of an MDE based approach, similarly to compiler in traditional ones.
Transformations are used many times in order to justify their development effort. If their are faulty, they can largely spread errors to models. Thus, it is indispensable to test them and possibly debug them. In this paper, we propose an error localization algorithm based on a traceability mechanism in order to ease the transformations debugging. We illustrate this approach in the context of embedded system development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEEE: IEEE standard computer dictionary : a compilation of IEEE standard computer glossaries. IEEE Computer Society Press, New York (1991)
Glitia, F., Etien, A., Dumoulin, C.: Traceability for an MDE Approach of Embedded System Conception. In: ECMDA Tracibility Workshop, Germany (2008)
Galvao, I., Goknil, A.: Survey of traceability approaches in model driven engineering. In: The Eleventh International IEEE EDOC Conference (EDOC 2007), pp. 313–324. IEEE Computer Society Press, Los Alamitos (2007)
Reshef, A.N., Nolan, B.T., Rubin, J., Gafni, S.Y.: Model traceability. Ibm Systems Journal 45 (2006)
Jouault, F.: Loosely coupled traceability for atl. In: ECMDA Workshop on Traceability (2005)
Velegrakis, Y., Miller, R.J., Mylopoulos, J.: Representing and querying data transformations. In: Proceedings of the International Conference on Data Engineering, ICDE, pp. 81–92. IEEE Computer Society, Washington (2005)
Kolovos, D.S., Paige, R.F., Polack, F.A.: On-demand merging of traceability links with models. In: ECMDA Workshop on Traceability, Bilbao, Spain (2006)
Falleri, J.R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in kermeta, HAL - CCSd - CNRS (2006)
Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: Uniti: A unified transformation infrastructure. In: MoDELS, pp. 31–45 (2007)
Yie, A., Wagelaar, D.: Advanced traceability for ATL. In: 1st International Workshop on Model Transformation with ATL (MtATL 2009), Nantes, France (2009)
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)
Amar, B., Leblanc, H., Coulette, B.: A Traceability Engine Dedicated to Model Transformation for Software Engineering. In: ECMDA Traceability Workshop, Berlin, pp. 7–16 (2008)
Barbero, M., Didonet, M., Fabro, D., Bézivin, J.: Traceability and provenance issues in global model management. In: ECMDA Traceability Workshop (2007)
Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Towards dependable model transformations: Qualifying input test data. SoSyM (2007)
Mottu, J.M., Baudry, B., Le Traon, Y.: Model transformation testing: oracle issue. In: MoDeVVa Workshop Colocated with ICST 2008, Norway (2008)
Borland: Qvt - o (2007), http://www.eclipse.org/m2m/qvto/doc
Object Management Group, Inc.: MOF Query / Views / Transformations (2007), http://www.omg.org/docs/ptc/07-07-07.pdf ; OMG paper
DaRT Team: Graphical Array Specification for Parallel and Distributed Computing (GASPARD2) (2009), http://www.gaspard2.org/
Object Management Group: A UML profile for MARTE (2007), http://www.omgmarte.org
Gamatié, A., Le Beux, S., Piel, E., Etien, A., Ben Atitallah, R., Marquet, P., Dekeyser, J.-L.: A Model Driven Design Framework for High Performance Embedded Systems. Technical Report 6614, INRIA (August 2008)
Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Using an alternative trace for qvt. In: Multi-Paradigm Modeling, Oslo, Norway (2010)
DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. Computer 11(4), 34–41 (1978)
Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Using traceability to enhance mutation analysis dedicated to model transformation. In: MoDeVVa, Oslo, Norway (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aranega, V., Mottu, JM., Etien, A., Dekeyser, JL. (2011). Using Trace to Situate Errors in Model Transformations. In: Cordeiro, J., Ranchordas, A., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2009. Communications in Computer and Information Science, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20116-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-20116-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20115-8
Online ISBN: 978-3-642-20116-5
eBook Packages: Computer ScienceComputer Science (R0)