Skip to main content

2017 | OriginalPaper | Buchkapitel

A Model-Level Mutation Tool to Support the Assessment of the Test Case Quality

verfasst von : Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Erschienen in: Complexity in Information Systems Development

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Although mutation testing is a well-known technique for assessing the quality of tests, there is not a lot of support available for model-level mutation analysis. It is also considered to be expensive due to: (i) the large number of mutants generated; (ii) the time-consuming activity of determining equivalent mutants; and (iii) the mutant execution time. It should also be remembered that real software artefacts of appropriate size including real faults are hard to find and prepare appropriately. In this paper we propose a mutation tool to generate valid First Order Mutants (FOM) for Conceptual Schemas (CS) based on UML Class Diagrams and evaluate its effectiveness and efficiency in generating valid and non-equivalent mutants. Our main findings were: (1) FOM mutation operators can be automated to avoiding non-valid mutants (49.1%). (2) Fewer equivalent mutants were generated (7.2%) and 74.3% were reduced by analysing the CS static structure in six subject CSs.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Zurück zum Zitat Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379–1393 (2009)CrossRef Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379–1393 (2009)CrossRef
2.
Zurück zum Zitat Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. Softw. Eng. IEEE Trans. 37, 1–31 (2011)CrossRef Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. Softw. Eng. IEEE Trans. 37, 1–31 (2011)CrossRef
3.
Zurück zum Zitat Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? Proc. ICSE 2005, 402–411 (2005) Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? Proc. ICSE 2005, 402–411 (2005)
4.
Zurück zum Zitat Vincenzi, A.M.R., Simão, A.S., Delamaro, M.E., Maldonado, J.C.: Muta-Pro: towards the definition of a mutation testing process. J. Braz. Comput. Soc. 12, 49–61 (2006)CrossRef Vincenzi, A.M.R., Simão, A.S., Delamaro, M.E., Maldonado, J.C.: Muta-Pro: towards the definition of a mutation testing process. J. Braz. Comput. Soc. 12, 49–61 (2006)CrossRef
5.
Zurück zum Zitat Granda, M.F., Condori-Fernandez, N., Vos, T.E.J., Pastor, Ó.: Mutation operators for UML Class Diagrams. In: CAiSE 2016 (2016) Granda, M.F., Condori-Fernandez, N., Vos, T.E.J., Pastor, Ó.: Mutation operators for UML Class Diagrams. In: CAiSE 2016 (2016)
6.
Zurück zum Zitat Object Management Group: Unified Modeling Language (UML) (2015) Object Management Group: Unified Modeling Language (UML) (2015)
7.
Zurück zum Zitat Object Management Group: Action Language for Foundational UML (ALF) (2013) Object Management Group: Action Language for Foundational UML (ALF) (2013)
8.
Zurück zum Zitat Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2012) Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2012)
9.
Zurück zum Zitat Sauro, J.: Estimating productivity: composite operators for Keystroke Level Modeling. In: Human-Computer Interaction. New Trends, pp. 1–10 (2009) Sauro, J.: Estimating productivity: composite operators for Keystroke Level Modeling. In: Human-Computer Interaction. New Trends, pp. 1–10 (2009)
10.
Zurück zum Zitat Card, S.K., Moran, T.P., Newel, A.: The keystroke-level model for user performance time with interactive systems. Commun. ACM 23, 396–410 (1980)CrossRef Card, S.K., Moran, T.P., Newel, A.: The keystroke-level model for user performance time with interactive systems. Commun. ACM 23, 396–410 (1980)CrossRef
11.
Zurück zum Zitat Haunold, P., Kuhn, W.: A keystroke level analysis of a graphics application: manual map digitizing. In: CHI ’94, pp. 337–343 (1994) Haunold, P., Kuhn, W.: A keystroke level analysis of a graphics application: manual map digitizing. In: CHI ’94, pp. 337–343 (1994)
12.
Zurück zum Zitat Teo, L., John, B.E.: Comparisons of keystroke-level model predictions to observed data. In: CHI ’06, pp. 1421–1426 (2006) Teo, L., John, B.E.: Comparisons of keystroke-level model predictions to observed data. In: CHI ’06, pp. 1421–1426 (2006)
13.
Zurück zum Zitat Kieras, D.: Using the keystroke-level model to estimate execution times (2001) Kieras, D.: Using the keystroke-level model to estimate execution times (2001)
14.
Zurück zum Zitat 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 (2015) 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 (2015)
16.
Zurück zum Zitat van Solingen, R., Berghout, E.: The Goal/Question/Metric Method—A Practical Guide for Quality Improvement of Software Development. McGraw-Hill (1999) van Solingen, R., Berghout, E.: The Goal/Question/Metric Method—A Practical Guide for Quality Improvement of Software Development. McGraw-Hill (1999)
17.
Zurück zum Zitat 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) 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)
18.
Zurück zum Zitat España, S., González, A., Pastor, Ó., Ruiz, M.: Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model, Valencia (2011) España, S., González, A., Pastor, Ó., Ruiz, M.: Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model, Valencia (2011)
19.
Zurück zum Zitat Holleis, P., Otto, F., Hussmann, H., Schmidt, A.: Keystroke-level model for advanced mobile phone interaction. In: CHI ’07 Proceedings of the SIGCHI Conference on Human factors in Computing Systems 1505–1514 (2007) Holleis, P., Otto, F., Hussmann, H., Schmidt, A.: Keystroke-level model for advanced mobile phone interaction. In: CHI ’07 Proceedings of the SIGCHI Conference on Human factors in Computing Systems 1505–1514 (2007)
20.
Zurück zum Zitat 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 (2014) 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 (2014)
Metadaten
Titel
A Model-Level Mutation Tool to Support the Assessment of the Test Case Quality
verfasst von
Maria Fernanda Granda
Nelly Condori-Fernández
Tanja E. J. Vos
Oscar Pastor
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-52593-8_2