Using trace to situate errors in model transformations

Communications in Computer and Information Science

Volumn 50, Issue , 2011, Pages 137-149

  Aranega, Vincent ^a   Mottu, Jean Marie ^b   Etien, Anne ^a   Dekeyser, Jean Luc ^a  

^a UNIV LILLE   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Error localization; Metamodels; Model transformation; Tests; Traceability

Indexed keywords

EMBEDDED SYSTEM DEVELOPMENT; ERROR LOCALIZATION; META MODEL; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; SOFTWARE DEVELOPMENT PROCESS; TRACEABILITY; TRANSFORMATION SEQUENCES;

EMBEDDED SYSTEMS; ERRORS; MATHEMATICAL MODELS; MODELS; SOFTWARE ENGINEERING; TESTING;

PROGRAM DEBUGGING;

EID: 84879473870     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-20116-5     Document Type: Conference Paper

References (23)

1. IEEE: IEEE standard computer dictionary: a compilation of IEEE standard computer glossaries. IEEE Computer Society Press, New York (1991)
2. Glitia, F., Etien, A., Dumoulin, C.: Traceability for an MDE Approach of Embedded System Conception. In: ECMDA Tracibility Workshop, Germany (2008)
3. 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)
4. Reshef, A.N., Nolan, B.T., Rubin, J., Gafni, S.Y.:Model traceability. Ibm Systems Journal 45 (2006)
5. Jouault, F.: Loosely coupled traceability for atl. In: ECMDA Workshop on Traceability (2005)
6. 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)
7. 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)
8. Falleri, J.R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in kermeta, HAL-CCSd-CNRS (2006)
9. Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: Uniti: A unified transformation infrastructure. In: MoDELS, pp. 31-45 (2007)
10. Yie, A., Wagelaar, D.: Advanced traceability for ATL. In: 1st International Workshop on Model Transformation with ATL (MtATL 2009), Nantes, France (2009)
11. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621-646 (2006)
12. 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)
13. Barbero, M., Didonet, M., Fabro, D., Bézivin, J.: Traceability and provenance issues in global model management. In: ECMDA Traceability Workshop (2007)
14. Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Towards dependable model transformations: Qualifying input test data. SoSyM (2007)
15. Mottu, J.M., Baudry, B., Le Traon, Y.: Model transformation testing: oracle issue. In: MoDeVVa Workshop Colocated with ICST 2008, Norway (2008)
16. Borland: Qvt-o (2007), http://www.eclipse.org/m2m/qvto/doc
17. Object Management Group, Inc.: MOF Query/Views/Transformations (2007), http://www.omg.org/docs/ptc/07-07-07.pdf; OMG paper
18. DaRT Team: Graphical Array Specification for Parallel and Distributed Computing (GASPARD2) (2009), http://www.gaspard2.org/
19. Object Management Group: A UML profile for MARTE (2007), http://www.omgmarte.org
20. 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)
21. Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Using an alternative trace for qvt. In: Multi-Paradigm Modeling, Oslo, Norway (2010)
22. 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)
23. 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)