Abstract

Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence.
Original languageEnglish
Pages325-332
Number of pages8
DOIs
Publication statusPublished - 2 Aug 2018
Event18th IEEE International Conference on Quality, Reliability, and Security - Lisbon, Portugal
Duration: 16 Jul 201820 Jul 2018

Conference

Conference18th IEEE International Conference on Quality, Reliability, and Security
Abbreviated titleQRS
CountryPortugal
CityLisbon
Period16/07/1820/07/18

Keywords

  • model-based testing
  • timed automata
  • real-time systems
  • mutation operators taxonomy
  • Mutation operators taxonomy
  • Model-based testing
  • Timed automata
  • Real-time systems
  • Mutation testing

Fingerprint Dive into the research topics of 'Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda'. Together they form a unique fingerprint.

  • Cite this

    Ortiz Vega, J. J., Perrouin, G., Amrani, M., & Schobbens, P-Y. (2018). Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. 325-332. Paper presented at 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal. https://doi.org/10.1109/QRS.2018.00045