Abstract
Model transformation can’t be directly tested using program techniques. Those have to be adapted to model characteristics. In this paper we focus on one test technique: mutation analysis. This technique aims to qualify a test data set by analyzing the execution results of intentionally faulty program versions. If the degree of qualification is not satisfactory, the test data set has to be improved. In the context of model, this step is currently relatively fastidious and manually performed.
We propose an approach based on traceability mechanisms in order to ease the test model set improvement in the mutation analysis process. We illustrate with a benchmark the quick automatic identification of the input model to change. A new model is then created in order to raise the quality of the test data set.
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
EMFcompare, www.eclipse.org/emft/projects/compare.
Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Traceability mechanism for error localization in model transformation. In: ICSOFT, Bulgaria (July 2009)
Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Using traceability to enhance mutation analysis dedicated to model transformation. In: Workshop MoDeVVa 2010 Associated with Models2010 Conference, Oslo, Norway (October 2010)
Baudry, B., Fleurey, F., Jézéquel, J.-M., Le Traon, Y.: From genetic to bacteriological algorithms for mutation-based testing. STVR Journal 15(2), 73–96 (2005)
Bézivin, J., Rumpe, B., Schürr, A., Tratt, L.: Model transformations in practice workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, Springer, Heidelberg (2006)
DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: Help for the practicing programmer. Computer 11(4), 34–41 (1978)
Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Towards dependable model transformations: Qualifying input test data. SoSyM Journal (2007)
Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proceedings of MoDeVVa, pp. 29–40 (November 2004)
Glitia, F., Etien, A., Dumoulin, C.: Traceability for an MDE Approach of Embedded System Conception. In: ECMDA Traceability Workshop, Germany (2008)
Hayes, J.H., Dekhtyar, A., Janzen, D.S.: Towards traceable test-driven development. In: TEFSE Workshop, USA, pp. 26–30. IEEE Computer Society, Los Alamitos (2009)
IEEE. IEEE standard computer dictionary : a compilation of IEEE standard computer glossaries. IEEE Computer Society Press, New York (1991)
Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Transactions of Software Engineering (2010) (to appear)
Ma, Y.-S., Offutt, J., Kwon, Y.R.: Mujava: an automated class mutation system. Softw. Test. Verif. Reliab. 15(2), 97–133 (2005)
Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformations. In: ECMDA 2006, Spain (July 2006)
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Murmane, T., Reed, K., Assoc, T., Carlton, V.: On the effectiveness of mutation analysis as a black box testing technique. In: Software Engineering Conference, pp. 12–20 (2001)
Offutt, A.J., Pan, J.: Detecting equivalent mutants and the feasible path problem. Software Testing, Verification and Reliability 7(3), 165–192 (1997)
Sen, S., Baudry, B., Mottu, J.-M.: On combining multi-formalism knowledge to select models for model transformation testing. In: ICST, Norway (April 2008)
Sim ao, A., Maldonado, J.C., da Silva Bigonha, R.: A transformational language for mutant description. Comput. Lang. Syst. Struct. 35(3), 322–339 (2009)
Voas, J.M., Miller, K.W.: The revealing power of a test case. Softw. Test., Verif. Reliab. 2(1), 25–42 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aranega, V., Mottu, JM., Etien, A., Dekeyser, JL. (2011). Traceability for Mutation Analysis in Model Transformation. In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-21210-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21209-3
Online ISBN: 978-3-642-21210-9
eBook Packages: Computer ScienceComputer Science (R0)