Abstract
Model transformation development is a complex task. Therefore, having mechanisms for transformation testing and understanding becomes a matter of utmost importance. Understanding, among others, implies being able to trace back bugs to their causes. In model transformations, causes can be related with either the input model or the transformation code. This work describes HandyMOF, a tool that first eases the transition between the effect (i.e. generated code file) and the causes (i.e. input model and transformations) and then provides the means to check the transformation coverage obtained by a test suite. The challenges are twofold. First, the obtainment of input model suites which yield to a quantifiable transformation coverage. Second, providing fine-grained traces that permit to trace back code not just to the transformation rule but to the inner ’print’ statements. A transformation that generates Google Web Toolkit (GWT) code is used as the running example.
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
Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Le Traon, Y., Mottu, J.-M.: Barriers to Systematic Model Transformation Testing. Communications of the ACM 53(6), 139–143 (2010)
Bezier, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)
Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based Test Generation for Model Transformations: An Algorithm and a Tool. In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, USA (2006)
Cadavid, J.J., Baudry, B., Sahraoui, H.A.: Searching the Boundaries of a Modeling Space to Test Metamodels. In: 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Canada (2012)
Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Qualifying Input Test Data for Model Transformations. Software and System Modeling (SoSyM) 8(2), 185–203 (2009)
Fleurey, F., Steel, J., Baudry, B.: Validation in Model-driven Engineering: Testing Model Transformations. In: 1st International Workshop on Model, Design and Validation (SIVOES-MoDeVa 2004), Rennes, France (2004)
Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221–235. Springer, Heidelberg (2011)
González, C.A., Cabot, J.: ATLTest: A White-Box Test Generation Approach for ATL Transformations. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 449–464. Springer, Heidelberg (2012)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming (SCP) 72(1-2), 31–39 (2008)
Kuster, J.M., Abd-El-Razik, M.: Validation of Model Transformations - First Experiences using a White Box Approach. In: 3rd International Workshop on Model Development, Validation and Verification (MoDeVa 2006), Genova, Italy (2006)
McQuillan, J.A., Power, J.F.: White-Box Coverage Criteria for Model Transformations. In: 1st International Workshop on Model Transformation with ATL (MtATL 2009), Nantes, France (2009)
Olsen, G.K., Oldevik, J.: Scenarios of Traceability in Model to Text Transformations. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 144–156. Springer, Heidelberg (2007)
OMG. MOF Model to Text Transformation Language, v1.0. Formal Specification (January 2008), http://www.omg.org/spec/MOFM2T/1.0/PDF
OMG. Query/View/Transformation, v1.1. Formal Specification (January 2011), http://www.omg.org/spec/QVT/1.1/PDF/
Selim, G.M.K., Cordy, J.R., Dingel, J.: Model Transformation Testing: The State of the Art. In: 1st Workshop on the Analysis of Model Transformations, AMT 2012, Innsbruck, Austria (2012)
Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: 1st International Conference on Software Testing, Verification, and Validation (ICST 2008), Lillehammer, Norway (2008)
Tiso, A., Reggio, G., Leotta, M.: Early Experiences on Model Transformation Testing. In: 1st Workshop on the Analysis of Model Transformations, AMT 2012, Innsbruck, Austria (2012)
Wimmer, M., Burgueño, L.: Testing M2T/T2M Transformations. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 203–219. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
García, J., Azanza, M., Irastorza, A., Díaz, O. (2014). Testing MOFScript Transformations with HandyMOF. In: Di Ruscio, D., Varró, D. (eds) Theory and Practice of Model Transformations. ICMT 2014. Lecture Notes in Computer Science, vol 8568. Springer, Cham. https://doi.org/10.1007/978-3-319-08789-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-08789-4_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08788-7
Online ISBN: 978-3-319-08789-4
eBook Packages: Computer ScienceComputer Science (R0)