Abstract
Model transformations are a key technique in model-driven engineering. If several transformations are composed into a model transformation chain, an approach is needed that allows software engineers to incrementally improve the quality of the model transformation chain. In this paper, we propose incremental development of model transformation chains based on automated testing. We present four test design techniques and a test framework architecture for testing transformation chains and report on the validation of our approach when developing a transformation chain for model version management.
Empirical results category paper.
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.
References
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models. In: ASE 2002, September 2002, pp. 267–270 (2002)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1-2), 31–39 (2008)
Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)
von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and Visualizing Transformation Chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 17–32. Springer, Heidelberg (2008)
International Standards Organization (ISO): ISO/IEC 9126-1: 2001, Software Quality Attributes, Software Engineering – Product Quality, Part 1: Quality Model (January 2001)
Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model Transformation Testing Challenges. In: Proceedings of IMDT workshop in conjunction with ECMDA 2006, Bilbao, Spain (2006)
Fleurey, F., Steel, J., Baudry, B.: Model-Driven Engineering and Validation: Testing model transformations. In: Proceedings SIVOES-MoDeVa Workshop (November 2004)
Bunyakiati, P., Finkelstein, A., Rosenblum, D.S.: The certification of software tools with respect to software standards. In: IRI 2007, IEEE Systems, Man, and Cybernetics Society, pp. 724–729 (2007)
Ehrig, K., Küster, J.M., Taentzer, G.: Generating instance models from meta models. Software and Systems Modeling (to appear, 2009)
Stürmer, I., Conrad, M., Dörr, H., Pepper, P.: Systematic testing of model-based code generators. IEEE Trans. Software Eng. 33(9), 622–634 (2007)
Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley, Reading (1999)
Martin, R.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall, Englewood Cliffs (2002)
IBM Corporation: IBM WebSphere Business Modeler, http://www.ibm.com/software/integration/wbimodeler/
Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., Wahler, M.: The Role of Visual Modeleling and Model Transformations in Business-Driven Development. In: Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques, pp. 1–12 (2006)
Object Management Group (OMG): Business Process Modeling Notation, V1.1 (January 2008)
Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)
Küster, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244–260. Springer, Heidelberg (2008)
Küster, J.M., Gerth, C., Engels, G.: Dependent and Conflicting Change Operations of Process Models. In: Paige, R., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 158–173. Springer, Heidelberg (2009)
Siikarla, M., Laitkorpi, M., Selonen, P., Systä, T.: Transformations Have to be Developed ReST Assured. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 1–15. Springer, Heidelberg (2008)
Vanhooff, B., Baelen, S.V., Hovsepyan, A., Joosen, W., Berbers, Y.: Towards a Transformation Chain Modeling Language. In: Vassiliadis, S., Wong, S., Hämäläinen, T.D. (eds.) SAMOS 2006. LNCS, vol. 4017, pp. 39–48. Springer, Heidelberg (2006)
Küster, J.M., Ryndina, K., Hauser, R.: A Systematic Approach to Designing Model Transformations. Technical report, IBM Research, Research Report RZ 3621 (July 2005)
Binder, R.: Testing Object-Oriented System Models. Addison Wesley, Reading (1999)
Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. In: ISSRE 2006, pp. 85–94. IEEE Computer Society, Los Alamitos (2006)
Kolovos, D.S., Paige, R., Polack, F.: Model Comparison: a Foundation for Model Composition and Model Transformation Testing. In: Proc. First International Workshop on Global Integrated Model Management 2006 (2006)
JUnit.org: Resources for Test-Driven Development, http://www.junit.org/
Harold, E.: Measure test coverage with Cobertura (2005), http://www.ibm.com/developerworks/java/library/j-cobertura/
Kolovos, D.S., Paige, R., Rose, L., Polack, F.: Unit Testing Model Management Operations. In: 5th Workshop on Model Driven Engineering Verification and Validation (MoDeVVa). IEEE, Los Alamitos (2008)
Mottu, J.M., Baudry, B., Traon, Y.L.: Mutation Analysis Testing for Model Transformation. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 376–390. Springer, Heidelberg (2006)
Andrews, A., France, R.B., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. Softw. Test., Verif. Reliab. 13(2), 95–127 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Küster, J.M., Gschwind, T., Zimmermann, O. (2009). Incremental Development of Model Transformation Chains Using Automated Testing. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_60
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)