Abstract
Software testing is important in software migration as it is used to validate the migration and ensure functional equivalence which is a key requirement. Developing new test cases for the migrated system is costly and, therefore, the migration of existing test cases is an attractive alternative. As the migrated test cases validate the whole migration, their migration should be clearly validated as well. Applying mutation analysis to validate test case migration is a promising solution candidate. However, due to the diversity of the migration context, applying mutation analysis is quite challenging for conceptual and especially for practical reasons. The different types of test cases combined with the different technologies used, make the application of existing, mostly code-based and mutation score-oriented, mutation tools and frameworks barely possible. In this paper, we present a flexible and extensible model-driven mutation framework applicable in different migration scenarios. We also present a case study, where our mutation framework was applied in industrial context.
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
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
References
Belli, F., Budnik, C.J., Hollmann, A., Tuglular, T., Wong, W.E.: Model-based mutation testing-approach and case studies. Sci. Comput. Program. 120(C), 25–48 (2016)
Jovanovikj, I., Yigitbas, E., Anjorin, A., Sauer, S.: Who guards the guards? On the validation of test case migration. In: Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018)
Jovanovikj, I., Yigitbas, E., Grieger, M., Sauer, S., Engels, G.: Modular construction of context-specific test case migration methods. In: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, pp. 534–541 (2019)
Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34–41 (1978)
Schuler, D., Zeller, A.: Javalanche: efficient mutation testing for java. In: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 297–298. ACM (2009)
Schwichtenberg, S., Jovanovikj, I., Gerth, C., Engels, G.: Poster: crossecore: an extendible framework to use ECORE and OCL across platforms. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 292–293, May 2018
Weidmann, N., Anjorin, A., Fritsche, L., Varró, G., Schürr, A., Leblebici, E.: Incremental bidirectional model transformation with emoflon: : Ibex. In: Proceedings of the 8th International Workshop on Bidirectional Transformations Co-located with the Philadelphia Logic Week, Bx@PLW 2019, pp. 45–55 (2019)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
1 Electronic supplementary material
Below is the link to the electronic supplementary material.
Supplementary material 1 (m4v 143650 KB)
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Jovanovikj, I., Weidmann, N., Yigitbas, E., Anjorin, A., Sauer, S., Engels, G. (2020). A Model-Driven Mutation Framework for Validation of Test Case Migration. In: Babur, Ö., Denil, J., Vogel-Heuser, B. (eds) Systems Modelling and Management. ICSMM 2020. Communications in Computer and Information Science, vol 1262. Springer, Cham. https://doi.org/10.1007/978-3-030-58167-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-58167-1_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58166-4
Online ISBN: 978-3-030-58167-1
eBook Packages: Computer ScienceComputer Science (R0)