Abstract
In current model-driven engineering practices, metamodels are modified followed by an update of transformation rules. Next, the updated transformation mechanism should be validated to ensure quality and robustness. Model transformation testing is a recently proposed effective technique used to validate transformation mechanisms. In this paper, a more efficient approach to model transformation testing is proposed by refactoring the existing test case models, employed to test previous metamodel and transformation mechanism versions, to cover new changes. To this end, a multi-objective optimization algorithm is employed to generate test case models that maximizes the coverage of the new metamodel while minimizing the number of test case model refactorings as well as test case model elements that have become invalid due to the new changes. Validation results on a widely used transformation mechanism confirm the effectiveness of our approach.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Mottu, J., Baudry, B., Le Traon, Y.: Model Transformation Testing: Oracle Issue. In: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 105–112 (2008)
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, pp. 85–94 (2006)
Baudry, B., Fleurey, F., Jezequel, J.M., Traon, Y.L.: Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to.NET Components. In: Proceedings of ASE 2002 (Automated Software Engineering), Edinburgh (2002)
Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: Proceedings of First International Workshop on Model, Design and Validation, pp. 29–40 (2004)
Nam, D., Park, C.H.: Multiobjective Simulated Annealing: A Comparative Study to Evolutionary Algorithms. International Journal of Fuzzy Systems 2(2), 87–97 (2000)
Brosch, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., Wimmer, M.: Towards Scenario-Based Testing of UML Diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 149–155. Springer, Heidelberg (2012)
Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying Input Test Data for Model Transformations. Software & Systems Modeling 8(2), 185–203 (2009)
Steel, J., Lawley, M.: Model-based Test Driven Development of the Tefkat Model-Transformation Engine. In: 15th International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 151–160 (2004)
Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In: Research and Practice in Software Engineering - Model-Driven Software Development, pp. 219–236. Springer (2005)
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)
Darabos, A., Pataricza, A., Varr, D.: Towards Testing the Implementation of Graph Transformations. In: Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques, pp. 69–80. Elsevier (2006)
McMinn, P.: Search-based Software Test Data Generation: A Survey: Research Articles. Softw. Test. Verif. Reliab. 14(2), 105–156 (2004)
Harman, M., Mansouri, S.A., Zhang, Y.: Search-based Software Engineering: Trends, techniques and applications. ACM Comput. Surv. 45(1), 11:1–11:61 (2012)
Baresel, A., Binkley, D., Harman, M., Korel, B.: Evolutionary Testing in the Presence of Loop-Assigned Flags: A Testability Transformation Approach. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, pp. 108–118. ACM, New York (2004)
Baresel, A., Sthamer, H., Schmidt, M.: Fitness Function Design To Improve Evolutionary Structural Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002, pp. 1329–1336. Morgan Kaufmann Publishers Inc., San Francisco (2002)
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
Shelburg, J., Kessentini, M., Tauritz, D.R. (2013). Regression Testing for Model Transformations: A Multi-objective Approach. In: Ruhe, G., Zhang, Y. (eds) Search Based Software Engineering. SSBSE 2013. Lecture Notes in Computer Science, vol 8084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39742-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-39742-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39741-7
Online ISBN: 978-3-642-39742-4
eBook Packages: Computer ScienceComputer Science (R0)