Abstract
Model transformations can be specified using an operational or a relational approach. For a relational approach, an operationalization must be derived from the transformation specification using approved formal concepts, so that the operationalization conforms to the specification. A conforming operationalization transforms a source model S to a target model T, which is moreover related to S according to the relational transformation specification. The conformance of an operationalization with its relational specification must be tested since it is not certain that the formal concepts have been correctly realized by the implementation. Moreover, transformation implementations often perform optimizations, which may violate conformance.
The Triple Graph Grammar (TGG) approach is an important representative of relational model transformations. This paper presents an extension of an existing automatic conformance testing framework for TGG implementations. This testing framework exploits the grammar character of TGGs to automatically generate test input models together with their expected result so that a complete oracle is obtained. The extension uses dependencies implicitly present in a TGG to generate minimal test cases covering all rules and dependencies in the TGG specification if the TGG is well-formed. In comparison to the previous random approach, this guided approach allows more efficient generation of higher quality test cases and, therefore, more thorough conformance testing of TGG implementations. The approach is evaluated using several TGGs, including one stemming from an industrial case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
de Lara, J., Guerra, E.: Inter-modelling with graphical constraints: Foundations and applications. EC-EASSTÂ 47 (2012)
Engels, G., Güldali, B., Lohmann, M.: Towards model-driven unit testing. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 182–192. Springer, Heidelberg (2007)
Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A constructive approach to testing model transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 77–92. Springer, Heidelberg (2010)
Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: Proc. of MoDeVa 2004, pp. 29–40. IEEE Computer Society Press (2004)
Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam (2010)
Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Software and Systems Modeling, 1–27 (2012)
Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424, 46–68 (2012)
Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34–48. Springer, Heidelberg (2005)
Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Proc. of MDI 2012, pp. 22–31. ACM (2012)
Hildebrandt, S., Lambers, L., Giese, H., Petrick, D., Richter, I.: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. In: Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 238–253. Springer, Heidelberg (2012)
Küster, J.M., Abd-El-Razik, M.: Validation of model transformations – first experiences using a white box approach. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 193–204. Springer, Heidelberg (2007)
Lambers, L., Ehrig, H., Taentzer, G.: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. In: de Lara, J., Ermel, C., Heckel, R. (eds.) Proc. GT-VMT 2008, vol. 10, EC-EASST, Budapest (2008)
Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. In: Proceedings of BX 2012, vol. 49, pp. 1–16. EC-EASST (2012)
Schürr, A., Klar, F.: 15 years of triple graph grammars: research challenges, new contributions, open problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)
Sen, S., Baudry, B., Mottu, J.-M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148–164. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hildebrandt, S., Lambers, L., Giese, H. (2013). Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. In: Duddy, K., Kappel, G. (eds) Theory and Practice of Model Transformations. ICMT 2013. Lecture Notes in Computer Science, vol 7909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38883-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-38883-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38882-8
Online ISBN: 978-3-642-38883-5
eBook Packages: Computer ScienceComputer Science (R0)