Qualifying input test data for model transformations

Software and Systems Modeling

Volumn 8, Issue 2, 2009, Pages 185-203

  Fleurey, Franck ^a   Baudry, Benoit ^a   Muller, Pierre Alain ^a   Le Traon, Yves ^b  

^a CAMPUS DE BEAULIEU   (France)

^b ECOLE DES MINES DE NANTES   (France)

Author keywords

Meta modelling; Model transformation; Model based testing; Software testing; Test criteria; Test qualification

Indexed keywords

META MODELLING; MODEL TRANSFORMATION; MODEL-BASED TESTING; TEST CRITERIA; TEST QUALIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; FOURIER TRANSFORMS; SOFTWARE TESTING; TESTING;

MODEL CHECKING;

EID: 64549154007     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-007-0074-8     Document Type: Article

References (38)

1. France, R., Rumpe, B.: Model-driven deveAopment of complex software: a research roadmap. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007, IEEE - CS Press (2007)
2. Baudry, B., Dinh-Trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Challenges for model transformation testing. In: Proceedings of IMDT Workshop in Conjunction with ECMDA'06. Bilbao, Spain (2006)
3. Beizer B. (1995). Black-Box Testing. Wiley, New York
4. OMG: MOF 2.0 Q/V/T OMG Revised submission. AvailHble from: http:// www.omg.org/cgi-bin/doc?ad/05-03-02 (2005)
5. Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of MoDELS'05, pp. 264-278. Montego Bay, Jamaica (2005)
6. Duddy, K., Gerberm, A., Lawley, M., Raymond, K., Steel, J.: Model transformation: A declarative, reusable patterns approach. In: Proceedings of EDOC'03 (Entreprise Distributed Object Computing Conference), pp. 174-185. Brisbane, Australia (2003)
7. de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: Proceedings of FASE '02 (International Conference on Fundamental Approaches to Software Engineering), pp. 174-188 (2002)
8. Ostrand T.J. and Balcer M.J. (1988). The category-partition method for specifying and generating functional tests. Commun. ACM 31(6): 676-686
9. OMG: Meta-Object Facilities. AvailHble from: http://www.omg.org/mof/ (2007)
10. OMG: MOF 2.0 Core Final Adopted Specification. AvailHble from: http:// www.omg.org/cgi-bin/doc?ptc/03-10-04 (2004)
11. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison Wesley, Reading (2003)
12. Andrews A., France R., Ghosh S. and Craig G. (2003). Test adequacy criteria for UML design models. Softw. Test. Verif. Reliab. 13(2): 95-127
13. Adrio W.R., Branstad M.A. and Cherniavsky J.C. (1982). Validation, verification, and testing of computer software. ACM Comput. Surv. 14(2): 159-192
14. Offutt A.J. and Pan J. (1997). Automatically detecting equivalent mutants and infeasible paths. Softw. Test. Verif. Reliab. 7(3): 165-192
15. MMCC: Metamodel coverage checker. AvaiHable from: http://www.irisa.fr/ triskell/Softwares/protos/MMCC/ (2007)
16. Kermeta: The KerMeta Project Home Page. AHailable from: http:// www.kermeta.org (2005)
17. Bézivin, J., Rumpe, B., Schürr, A., Tratt, L.: MTIP workshop. Available from: http://sosym.dcs.kcl.ac.uk/events/mtip05/ long_cfp.pdf (2005)
18. Steel, J., Lawley, M.: Model-based test driven development of the Tefkat Model-Transformation Engine. In: Proceedings of ISSRE'04 (Int. Symposium on Software Reliability Engineering). Saint-Malo, France (2004)
19. Küster J.M. (2006). Definition and validation of model transformations. Softw. Syst. Model. 5(3): 233-259
20. Küster, J.M., Abd-El-Razik, M.: Validation of model transformations - first experiences using a White Box Approach. In: Proceedings of MoDeVa'06 (Model Design and Validation Workshop associated to MoDELS'06). Genova, Italy (2006)
21. Darabos, A., Pataricza, A., Varro, D.: Towards testing the implementation of graph transformations. In: Proceedings of GT-VMT Workshop Associated to ETAPS'06, pp. 69-80. Vienna, Austria (2006)
22. Baldan, P., König, B., Stürmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Proceedings of ICGT, pp. 194-209 (2004)
23. Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Proceedings of FASE 2005, pp. 34-48 (2005)
24. Mottu, J.-M., BaudrA, B., Le Traon, Y.: Reusable MDA components: a testing-for-trust approach. In: Proceedings of MoDELS'06. Genova, Italy, October (2006)
25. DeMillo R., Lipton R. and Sayward F. (1978). Hints on test data selection: Help for The Practicing Programmer. IEEE Comput. 11(4): 34-41
26. Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformations. In: Proceedings of ECMDA'06 (European Conference on Model Driven Architecture). Bilbao, Spain (2006)
27. Giese, H., Glesner, S., Leitner, J., Schäfer, W., Wagner, R.: Towards verified model transformations. In: Proceedings of MoDeVa Workshop Associated to MoDELS'06, pp. 78-93 (2006)
28. Boujarwah A.S. and Saleh K. (1997). Compiler test case generation methods: A survey and assessment. Inform. Softw. Technol. 39(9): 617-625
29. Baudry B., Fleurey F., Jézéquel J.-M. and Le Traon Y. (2005). From genetic to bacteriological algorithms for mutation-based testing. Softw. Test. Verif. Reliab. 15(1): 73-96
30. Dinh-Trong, T., Kawane, N., Ghosh, S., France, R., Andrews, A.: A tool-supported approach to testing UML Design Models. In: Proceedings of ICECCS'05. Shanghai, China (2005)
31. OMG: UML 2.0 Object Constraint Language (OCL) Final adopted specification. Available from: http://www.omg.org/cgi-bin/doc?ptc/ 2003-10-14 (2003)
32. Gogolla M., Bohling J. and Richters M. (2005). Validating UML and OCL Models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4): 386-398
33. Rutherford, M.J., Wolf, A.L.: A case for test-code generation in model-driven systems. In: Proceedings of the Second International Conference on Generative Programming and Component Engineering, pp. 377-396. Erfurt, Germany (2003)
34. Heckel, R., Lohmann, M.: Towards model-driven testing. Electronic Notes in Theoretical Computer Science, vol. 82(6) (2003)
35. AGEDIS: Automated Generation and Execution of Test Suites for DIstributed Component-based Software. Available from: http:// www.agedis.de/index.shtml (2000)
36. Utting, M., Legeard, B.: Practical model-based testing. Morgan Kaufmann, San Francisco (2007)
37. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations: An algorithm and a tool. In: Proceedings of ISSRE'06 (Int. Symposium on Software Reliability Engineering). Raleigh (2006)
38. Sen, S., Baudry, B.: Mutation-based model synthesis in model driven engineering. In: Proceedings of Mutation'06 Workshop Associated to ISSRE'06. Raleigh (2006)