Poster: VIBeS, Transition System Mutation Made Easy

Author

Devroey, Xavier ; Perrouin, Gilles ; Schobbens, Pierre-Yves ; Heymans, Patrick

Author_Institution

PReCISE Res. Center, Univ. of Namur, Namur, Belgium

Volume

2

fYear

2015

Firstpage

817

Lastpage

818

Abstract

Mutation testing is an established technique used to evaluate the quality of a set of test cases. As model-based testing took momentum, mutation techniques were lifted to the model level. However, as for code mutation analysis, assessing test cases on a large set of mutants can be costly. In this paper, we introduce the Variability-Intensive Behavioural teSting (VIBeS) framework. Relying on Featured Transition Systems (FTSs), we represent all possible mutants in a single model constrained by a feature model for mutant (in)activation. This allow to assess all mutants in a single test case execution. We present VIBeS implementation steps and the DSL we defined to ease model-based mutation analysis.

Keywords

program testing; software quality; DSL; FTSs; VIBeS; code mutation analysis; featured transition systems; model-based mutation analysis; model-based testing; mutation testing; single test case execution; transition system mutation techniques; variability-intensive behavioural testing framework; Adaptation models; Analytical models; Computational modeling; DSL; Java; Load modeling; Testing; Featured Transition Systems; Model-Based Mutation Testing; VIBeS;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on

Conference_Location

Florence

Type

conf

DOI

10.1109/ICSE.2015.263

Filename

7203084