Tractable model transformation testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6698 LNCS, Issue , 2011, Pages 221-235

  Gogolla, Martin ^a   Vallecillo, Antonio ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED PROCESS; INPUT TESTS; META MODEL; MODEL TRANSFORMATION; SOURCE MODELS; BASED SPECIFICATION;

AUTOMATION; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPUTATIONAL COMPLEXITY; AUTOMATION;

EID: 79959193655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21470-7_16     Document Type: Conference Paper

References (24)

1. Lin, Y., Zhang, J., Gray, J.: Model comparison: A key challenge for transformation testing and version control in model driven software development. In: OOPSLA/GPCE: Best Practices for Model-Driven Software Development, Control in Model Driven Software Development, pp. 219-236. Springer, Heidelberg (2004)
2. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proc. of the ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, Barcelona, Spain (2006), http://www.cs.colostate.edu/~france/ publications/TransTesting.pdf
3. Stevens, P.: A landscape of bidirectional model transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE II. LNCS, vol. 5235, pp. 408-424. Springer, Heidelberg (2008)
4. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM 53(6), 139-143 (2010)
5. Baresi, L., Ehrig, K., Heckel, R.: Verification of model transformations: A case study with BPEL. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 183-199. Springer, Heidelberg (2007)
6. Ehrig, H., Ehrig, K., Lara, J.D., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination criteria for model transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49-63. Springer, Heidelberg (2005)
7. Ehrig, K., Küster, J.M., Taentzer, G.: Generating instance models from meta models. Software and Systems Modeling 8, 479-500 (2009)
8. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233-259 (2006)
9. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2), 283-302 (2010)
10. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via Alloy. In: Proc. of MODEVVA (2007), http://www.cs.bham.ac. uk/~bxb/Papres/Modevva07.pdf
11. Troya, J., Vallecillo, A.: Towards a rewriting logic semantics for ATL. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 230-244. Springer, Heidelberg (2010)
12. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proc. of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), pp. 85-94 (2006)
13. Solberg, A., Reddy, R., Simmonds, D., France, R., Ghosh, S.: Developing distributed services using an aspect-oriented model driven framework. International Journal of Cooperative Information Systems 15(4), 535-564 (2006)
14. Mottu, J.M., Baudry, B., Traon, Y.L.: Reusable MDA components: A testing-fortrust approach. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 589-603. Springer, Heidelberg (2006)
15. Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. Software and Systems Modeling 8(2), 185-203 (2009)
16. Küster, J.M., Abd-El-Razik, M.: Validation of model transformations - first experiences using a white box approach. In: Auletta, V. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 193-204. Springer, Heidelberg (2007)
17. Gogolla, M., Hamann, L., Kuhlmann, M.: Proving and visualizing OCL invariant independence by automatically generated test cases. In: Fraser, G., Gargantini, A. (eds.) TAP 2010. LNCS, vol. 6143, pp. 38-54. Springer, Heidelberg (2010)
18. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proc. of the OCL and Model Driven Engineering Workshop (2004), http://web.univ-pau.fr/~ecariou/papers/ workshop-ocl-mde-uml2004-paper.pdf
19. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling 4(4), 386-398 (2005)
20. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 27-34 (2007)
21. Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2. (2010), OMG Document formal/2010-02-01
22. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31-39 (2008)
23. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)
24. Kolovos, D.S., Rose, L.M., Paige, R.F.: The Epsilon Book (2010), http://www.eclipse.org/gmt/epsilon/doc/book/