Featured Model-based Mutation Analysis

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

101 Downloads (Pure)

Abstract

Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.
Original languageEnglish
Title of host publicationProceedings of the 38th international conference on Software Engineering
Place of PublicationAustin, TX, USA
PublisherACM Press
Pages655-666
Number of pages12
ISBN (Print)978-1-4503-3900-1
DOIs
Publication statusPublished - May 2016

Publication series

NameICSE '16
PublisherACM

Fingerprint

Testing

Keywords

  • featured transition systems
  • mutation analysis
  • variability

Cite this

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., & Heymans, P. (2016). Featured Model-based Mutation Analysis. In Proceedings of the 38th international conference on Software Engineering (pp. 655-666). (ICSE '16). Austin, TX, USA: ACM Press. https://doi.org/10.1145/2884781.2884821
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre ; Heymans, Patrick. / Featured Model-based Mutation Analysis. Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA : ACM Press, 2016. pp. 655-666 (ICSE '16).
@inproceedings{f539fd2ea918403e879b11799a1aaaed,
title = "Featured Model-based Mutation Analysis",
abstract = "Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.",
keywords = "featured transition systems, mutation analysis, variability",
author = "Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre Schobbens and Patrick Heymans",
year = "2016",
month = "5",
doi = "10.1145/2884781.2884821",
language = "English",
isbn = "978-1-4503-3900-1",
series = "ICSE '16",
publisher = "ACM Press",
pages = "655--666",
booktitle = "Proceedings of the 38th international conference on Software Engineering",
address = "United States",

}

Devroey, X, Perrouin, G, Papadakis, M, Legay, A, Schobbens, P & Heymans, P 2016, Featured Model-based Mutation Analysis. in Proceedings of the 38th international conference on Software Engineering. ICSE '16, ACM Press, Austin, TX, USA, pp. 655-666. https://doi.org/10.1145/2884781.2884821

Featured Model-based Mutation Analysis. / Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike; Legay, Axel; Schobbens, Pierre; Heymans, Patrick.

Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA : ACM Press, 2016. p. 655-666 (ICSE '16).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - Featured Model-based Mutation Analysis

AU - Devroey, Xavier

AU - Perrouin, Gilles

AU - Papadakis, Mike

AU - Legay, Axel

AU - Schobbens, Pierre

AU - Heymans, Patrick

PY - 2016/5

Y1 - 2016/5

N2 - Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.

AB - Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.

KW - featured transition systems

KW - mutation analysis

KW - variability

U2 - 10.1145/2884781.2884821

DO - 10.1145/2884781.2884821

M3 - Conference contribution

SN - 978-1-4503-3900-1

T3 - ICSE '16

SP - 655

EP - 666

BT - Proceedings of the 38th international conference on Software Engineering

PB - ACM Press

CY - Austin, TX, USA

ER -

Devroey X, Perrouin G, Papadakis M, Legay A, Schobbens P, Heymans P. Featured Model-based Mutation Analysis. In Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press. 2016. p. 655-666. (ICSE '16). https://doi.org/10.1145/2884781.2884821