Metamodel-based test generation for model transformations: An algorithm and a tool

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2006, Pages 85-94

  Brottier, Erwan ^a   Fleurey, Franck ^b   Steel, Jim ^b   Baudry, Benoit ^b   Traon, Yves Le ^a  

^a ORANGE LABS   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; METADATA; PARAMETER ESTIMATION; SOFTWARE ENGINEERING;

ERROR-PRONE TASK; MODEL TRANSFORMATIONS;

MATHEMATICAL TRANSFORMATIONS;

EID: 34547699175     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2006.27     Document Type: Conference Paper

References (17)

1. J. Bézivin, N. Farcet, J.-M. Jézéquel, B. Langlois, and D. Pollet. Reflective model driven engineering. Proceedings of UML'03 (Unified Modeling Language), San Francisco, CA, USA, October 2003.
2. OMG. MOF 2.0 Q/V/T OMG Revised submission. Accessed on: 2005 2005. http://www.omg.org/cgi-bin/doc?ad/05-03-02
3. P.-A. Muller, F. Fleurey, and J.-M. Jézéquel. Weaving executability into object-oriented meta-languages. Proceedings of MoDELS'05, Montego Bay, Jamaica, October 2005. LNCS.
4. OMG. MOF 2.0 Core Final Adopted Specification. Accessed 2005. http://www.omg.org/cgi-bin/doc?ptc/03 -10-04
5. F. Fleurey, J. Steel, and B. Baudry. Validation in Model-Driven Engineering: Testing Model Transformations. Proceedings of MoDeVa'04 (Model Design and Validation Workshop associated to ISSRE'04), Rennes, France, November 2004.
6. T.J. Ostrand and M.J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 1988. 31(6): 676-686.
7. A. Andrews, R. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, 2003. 13(2): 95-127.
8. B. Baudry, F. Fleurey, Y. Le Traon, and J.-M. Jézéquel. An Original Approach for Automatic Test Cases Optimization: a Bacteriologic Algorithm. JEEE Software, 2005. 22(2): 76-82.
9. J.-M. Mottu, B. Baudry, and Y. Le Traon. Mutation Analysis Testing for Model Transformations. Proceedings of ECMDA'06 (European Conference on Model Driven Architecture), Bilbao, Spain, July 2006.
10. D. Varro and A. Pataricza. Generic and MetaTransformations for Model Transformation Engineering. Proceedings of UML'04 (Unified Modeling Language), Lisbon, Portugal, October 2004.
11. S.R. Judson, R. France, and D.L. Carver. Model Transformations at the Metamodel Level. Proceedings of Workshop in Software Model Engineering associated to UML'03, San Francisco, CA, USA, October 2003.
12. J.M. Küster. Definition and Validation of Model Transformations. Software and Systems Modeling, 2006. to appear.
13. Y. Lin, J. Zhang, and J. Gray. A Testing Framework for Model Transformations, in Model-driven Software Development - Research and Practice in Software Engineering. 2005, Springer.
14. J. Steel and M. Lawley. Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. Proceedings of ISSRE'04 (Int. Symposium on Software Reliability Engineering), Saint-Malo, France, November 2004.
15. M. Gogolla, J. Bohling, and M. Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. Proceedings of UML'03 (Unified Modeling Language), San Francisco, CA, USA, October 2003.
16. M.J. Rutherford and A.L. Wolf. A case for testcode generation in model-driven systems. Proceedings of The second international conference on Generative programming and component engineering, Erfurt, Germany, September 2003.
17. R. Heckel and M. Lohmann. Towards Model-Driven Testing. Electronic Notes in Theoretical Computer Science, 2003. 82(6).