Advertisement

Mutation Operators for UML Class Diagrams

  • Maria Fernanda GrandaEmail author
  • Nelly Condori-Fernández
  • Tanja E. J. Vos
  • Oscar Pastor
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9694)

Abstract

Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.

Keywords

Mutation testing Mutation operators Test cases quality Conceptual schemas Class diagram mutation 

Notes

Acknowledgments

This work has been developed with the financial support by SENESCYT of the Republic of Ecuador, European Commission (CaaS project) and Generalitat Valenciana (PROMETEOII/2014/039).

References

  1. 1.
    Olivé, A.: Conceptual Modeling of Information System. Springer, Heidelberg (2007)zbMATHGoogle Scholar
  2. 2.
    Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice. Springer, Berlin Heidelberg, Cambridge (2007)Google Scholar
  3. 3.
    Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: CAiSE 2013 Doctoral Consortium, Valencia (2013)Google Scholar
  4. 4.
    Granda, M.F., Condori-Fernandez, N., Vos, T.E.J., Pastor, O.: Towards the automated generation of abstract test cases from requirements models. In: 1st International Workshop on Requirements Engineering and Testing, pp. 39–46. IEEE, Karlskrona, Sweden (2014)Google Scholar
  5. 5.
    Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. Softw. Eng. IEEE Trans. 37, 1–31 (2011)CrossRefGoogle Scholar
  6. 6.
    Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379–1393 (2009)CrossRefGoogle Scholar
  7. 7.
    Object Management Group: Unified Modeling Language (UML) (2015)Google Scholar
  8. 8.
    Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of 27th International Conference on Software Engineering, ICSE, pp. 402–411 (2005)Google Scholar
  9. 9.
    Granda, M.F., Condori-fernández, N., Vos, T.E.J., Pastor, O.: What do we know about the defect types detected in conceptual models? In: IEEE 9th International Conference on Research Challenges in Information Science (RCIS), pp. 96–107. IEEE, Athens, Greece (2015)Google Scholar
  10. 10.
    Object Management Group: Action Language for Foundational UML (ALF) (2013)Google Scholar
  11. 11.
    Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2012)Google Scholar
  12. 12.
    IEEE: IEEE Standard Classification for Software Anomalies (2010)Google Scholar
  13. 13.
    DeMillo, R., Lipton, R., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Comput. (Long. Beach. Calif.) 11, 34–41 (1978)Google Scholar
  14. 14.
    Offutt, J.: Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol. 1, 5–20 (1992)CrossRefGoogle Scholar
  15. 15.
    Woodward, M.R.: Errors in algebraic specifications and an experimental mutation testing tool. Softw. Eng. J. 4, 211–224 (1993)CrossRefGoogle Scholar
  16. 16.
    Derezińska, A.: Object-oriented mutation to assess the quality of tests. In: Proceedings of Conference on EUROMICRO, pp. 417–420 (2003)Google Scholar
  17. 17.
    Dinh-Trong, T., Ghosh, S., France, R.: A taxonomy of faults for UML designs. In: 2nd MoDeVa workshop - in Conjunction with MoDELS (2005)Google Scholar
  18. 18.
    Strug, J.: Classification of mutation operators applied to design models. Adv. Des. Manuf. 572, 539–542 (2014)Google Scholar
  19. 19.
    España, S., González, A., Pastor, Ó., Ruiz, M.: Technical Report Communication Analysis and the OO-Method: Manual Derivation of the Conceptual Model the SuperStationery Co. Lab Demo, Valencia (2011)Google Scholar
  20. 20.
    Tort, A., Olivé, A.: Case study: conceptual modeling of basic sudoku. http://guifre.lsi.upc.edu/Sudoku.pdf
  21. 21.
  22. 22.
    Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. SE-3, 279–290 (1977)CrossRefzbMATHGoogle Scholar
  23. 23.
    Fabbri, S.C., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis testing for finite state machines. In: 5th International Symposium Soft Reliability Engineering, pp. 220–229 (1994)Google Scholar
  24. 24.
    Ferraz, S., Maldonado, J.C., Sugeta, T., Masiero, P.: Mutation testing applied to validate specifications based on statecharts. In: Proceedings 10th International Symposium on Software Reliability Engineering, pp. 210–219. IEEE, Boca Raton, FL (1999)Google Scholar
  25. 25.
    Farooq, U., Lam, C.P.: Mutation analysis for the evaluation of AD models. In: International Conference on Computer Intelligent Model Control Automation CIMCA, pp. 296–301 (2008)Google Scholar
  26. 26.
    Strug, J.: Mutation testing approach to evaluation of design models. Adv. Des. Manuf. 572, 543–546 (2014)Google Scholar
  27. 27.
    Sommerville, I.: Software Engineering. Addison-Wesley, Boston (2011)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Maria Fernanda Granda
    • 1
    • 3
    Email author
  • Nelly Condori-Fernández
    • 2
  • Tanja E. J. Vos
    • 3
  • Oscar Pastor
    • 3
  1. 1.Computer Science DepartmentUniversity of CuencaCuencaEcuador
  2. 2.Vrije Universiteit van AmsterdamAmsterdamThe Netherlands
  3. 3.PROS Research CentreUniversitat Politècnica de ValènciaValenciaSpain

Personalised recommendations