Test-driven development of model transformations

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

Volumn 5795 LNCS, Issue , 2009, Pages 748-752

  Giner, Pau ^a   Pelechano, Vicente ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Model to model transformations; Test driven development

Indexed keywords

CASE TOOLS; DEVELOPMENT PROCESS; INDUSTRIAL SCENARIOS; MODEL TO MODEL TRANSFORMATION; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; OPEN SOURCES; TEST CASE; TEST DRIVEN DEVELOPMENT;

LINGUISTICS; MODELS;

TESTING;

EID: 77249163350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_61     Document Type: Conference Paper

References (20)

1. OMG: MOF QVT Final Adopted Specification (June 2005)
2. Jouault, F., Kurtev, I.: Transforming models with atl (ISBN=0302-9743). In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128-138. Springer, Heidelberg (2006)
3. Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139-150. Springer, Heidelberg (2006)
4. Cuadrado, J.S., Molina, J.G.: Building domain-specific languages for model-driven development. IEEE Softw. 24(5), 48-55 (2007)
5. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? transformation models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440-453. Springer, Heidelberg (2006)
6. Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proc. of MODEVA 2004, pp. 29-40 (2004)
7. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233-259 (2006)
8. Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. In: Model-Driven Software Development. Springer, Heidelberg (2005)
9. Steel, J., Lawley, M.: An MDA approach to testing the tarzan model transformation engine. In: Proc. of ISSRE 2004, St Malo, France (November 2004)
10. Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
11. OMG: Human-Usable Textual Notation Specification, Version 1.0 (August 2004)
12. Kolovos, D.S., Paige, R.F., Rose, L.M., Polack, F.A.: Epsilon, Department of Computer Science, The University of York (September 2008)
13. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: Constructing models with the human-usable textual notation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 249-263. Springer, Heidelberg (2008)
14. Fleurey, F., Baudry, B., Müller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. SoSyM 8(2), 185-203 (2009)
15. Küster, J.M., Abd-El-Razik, M.: Validation of model transformations - first experiences using a white box approach. In: MoDeVa 2006. Springer, Heidelberg (2006)
16. Polack, D., Paige, R., Rose, L., Polack, F.: Unit testing model management operations. In: ICSTW 2008, April 2008, pp. 97-104 (2008)
17. Varró, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410-424. Springer, Heidelberg (2006)
18. Varró, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: SAC 2007, pp. 978-984. ACM, New York (2007)
19. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: ISSRE 2006, Washington, DC, USA, pp. 85-94. IEEE Computer Society, Los Alamitos (2006)
20. Darabos, A., Pataricza, A., Varró, D.: Towards testing the implementation of graph transformations. Electron. Notes Theor. Comput. Sci. 211, 75-85 (2008)