Barriers to systematic model transformation testing

Communications of the ACM

Volumn 53, Issue 6, 2010, Pages 139-143

  Baudry, Benoit ^a   Ghosh, Sudipto ^b   Fleurey, Franck ^c   France, Robert ^b   Le Traon, Yves ^d   Mottu, Jean Marie ^e  

^a INRIA   (France)

^b Department of Environmental and Radiological Health Sciences   (United States)

^c SINTEF   (Norway)

^d UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^e UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; AIRBUS A380; AUTOMATIC CODE SYNTHESIS; AUTOMATIC MODELS; COMMERCIAL TOOLS; CURRENT MODELS; DESIGN MODELS; DESIGN PATTERNS; DESIGN QUALITY; EMBEDDED CONTROLLERS; ERROR PRONES; ESTEREL TECHNOLOGIES; INPUT AND OUTPUTS; LARGE SYSTEM; MODEL MANAGEMENT TOOLS; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; REFACTORINGS; SAFETY CRITICAL SYSTEMS; SOFTWARE DEVELOPMENT; SOFTWARE SYSTEMS; SYSTEMATIC MODELS; UML CLASS MODELS;

ABSTRACTING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; METADATA; MODELS; REENGINEERING; REVERSE ENGINEERING;

SOFTWARE DESIGN;

EID: 77953182376     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1743546.1743583     Document Type: Article

References (12)

1. Bezivin, J., Rumpe, B., Schurr, A., and Tratt, L. Model Transformations in Practice Workshop. Supplemental Proceedings of the MoDELS'05 Conference. 2005, 120-127.
2. Brottier, E., Fleurey, F., Steel, J., Baudry, B., and Le, Y. Traon. Metamodel-based test generation for model transformations: an algorithm and a tool. In Int. Symposium on Software Reliability Engineering; 2006. Raleigh, NC, USA.
3. Ehrig, K., Küster, J.M., Taentzer, G., and Winkelmann, J. Generating instance models from meta models. In Formal Methods for Open Object-Based Distributed Systems; 2006. Bologna, Italy.
4. Fleurey, F., Baudry, B., Muller, P.-A., and Le Traon, Y. Towards dependable model transformations: Qualifying input test data. Software and Systems Modeling, 2007.
5. France, R. and Rumpe, B. Model-driven development of complex software: A research roadmap. In Future of Software Engineering 2007, L. Briand and A. Wolf, Editors. 2007, IEEE-CS Press.
6. Korf, R.E., Space-effcient search algorithms. ACM Computing Surveys 27, 3, (1995), 337-339.
7. Küster, J.M. and Abd-El-Razik, B. Validation of model transformations-first experiences using a white box approach. In Model Design and Validation Workshop associated to MoDELS'06. Genova, Italy.
8. Mottu, J.-M., Baudry, B., and Le Traon, Y. Reusable MDA components: A testing-for-trust approach. in MoDELS'06, 2006. Genova, Italy.
9. Reiter, T., Altmanninger, K., Bergmayr, A., Schwinger, W., and Kotsis, G. Models in confict-detection of semantic conficts in model-based development. In proceedings of 3rd International Workshop on Model-Driven Enterprise Information Systems. Madeira, Portugal.
10. Schmidt, D.C., Model-driven engineering. IEEE Computer 39, 2, (2006), 25-31.
11. Solberg, A., Reddy, R., Simmonds, D., France, R., and Ghosh, S. Developing service oriented systems using an aspect-oriented model driven framework. International Journal of Cooperative Information Systems, 2006.
12. Xing, Z. and Stroulia, E. UMLDiff: An algorithm for object-oriented design differencing. In Automated Software Engineering, 2005. USA.