Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

James Jerson Ortiz Vega; Gilles Perrouin; Moussa Amrani; Pierre-Yves Schobbens

doi:10.1109/QRS.2018.00045

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens

Research output: Contribution to conference › Paper › peer-review

63 Downloads (Pure)

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 language	English
Pages	325-332
Number of pages	8
DOIs	https://doi.org/10.1109/QRS.2018.00045
Publication status	Published - 1 Jul 2018
Event	18th IEEE International Conference on Quality, Reliability, and Security - Lisbon, Portugal Duration: 16 Jul 2018 → 20 Jul 2018

Conference

Conference	18th IEEE International Conference on Quality, Reliability, and Security
Abbreviated title	QRS
Country/Territory	Portugal
City	Lisbon
Period	16/07/18 → 20/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

Access to Document

10.1109/QRS.2018.00045

Ortiz-al-QRS2018-authorCopyAccepted author manuscript, 220 KB

Cite this

@conference{8bb472aa72f043edb70aaa90789697eb,

title = "Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda",

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. ",

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",

author = "{Ortiz Vega}, {James Jerson} and Gilles Perrouin and Moussa Amrani and Pierre-Yves Schobbens",

year = "2018",

month = jul,

day = "1",

doi = "10.1109/QRS.2018.00045",

language = "English",

pages = "325--332",

note = "18th IEEE International Conference on Quality, Reliability, and Security, QRS ; Conference date: 16-07-2018 Through 20-07-2018",

}

TY - CONF

T1 - Model-based Mutation Operators for Timed Systems

T2 - 18th IEEE International Conference on Quality, Reliability, and Security

AU - Ortiz Vega, James Jerson

AU - Perrouin, Gilles

AU - Amrani, Moussa

AU - Schobbens, Pierre-Yves

PY - 2018/7/1

Y1 - 2018/7/1

N2 - 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.

AB - 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.

KW - model-based testing

KW - timed automata

KW - real-time systems

KW - mutation operators taxonomy

KW - Mutation operators taxonomy

KW - Model-based testing

KW - Timed automata

KW - Real-time systems

KW - Mutation testing

UR - http://www.scopus.com/inward/record.url?scp=85052296014&partnerID=8YFLogxK

U2 - 10.1109/QRS.2018.00045

DO - 10.1109/QRS.2018.00045

M3 - Paper

SP - 325

EP - 332

Y2 - 16 July 2018 through 20 July 2018

ER -

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this