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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - International Conference on Software Engineering |
| Place of Publication | Florence, Italy |
| Publisher | IEEE Computer Society Press |
| Pages | 817-818 |
| Number of pages | 2 |
| Volume | 2 |
| ISBN (Print) | 9781479919345 |
| DOIs | |
| Publication status | Published - 12 Aug 2015 |
| Event | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italy Duration: 16 May 2015 → 24 May 2015 |
Conference
| Conference | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 |
|---|---|
| Country | Italy |
| City | Florence |
| Period | 16/05/15 → 24/05/15 |
Fingerprint
Keywords
- Featured Transition Systems
- Model-Based Mutation Testing
- VIBeS
Cite this
}
Poster: VIBeS, Transition System Mutation Made Easy. / Devroey, Xavier; Perrouin, Gilles; Schobbens, Pierre; Heymans, Patrick.
Proceedings - International Conference on Software Engineering. Vol. 2 Florence, Italy : IEEE Computer Society Press, 2015. p. 817-818 7203084.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Poster: VIBeS, Transition System Mutation Made Easy
AU - Devroey, Xavier
AU - Perrouin, Gilles
AU - Schobbens, Pierre
AU - Heymans, Patrick
PY - 2015/8/12
Y1 - 2015/8/12
N2 - 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.
AB - 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.
KW - Featured Transition Systems
KW - Model-Based Mutation Testing
KW - VIBeS
UR - http://www.scopus.com/inward/record.url?scp=84951856946&partnerID=8YFLogxK
U2 - 10.1109/ICSE.2015.263
DO - 10.1109/ICSE.2015.263
M3 - Conference contribution
SN - 9781479919345
VL - 2
SP - 817
EP - 818
BT - Proceedings - International Conference on Software Engineering
PB - IEEE Computer Society Press
CY - Florence, Italy
ER -