The Community for Technology Leaders
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) (2015)
Florence, Italy
May 16, 2015 to May 24, 2015
ISBN: 978-1-4799-1934-5
pp: 817-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.
INDEX TERMS
Testing, Analytical models, Computational modeling, DSL, Java, Adaptation models, Load modeling
CITATION

X. Devroey, G. Perrouin, P. Schobbens and P. Heymans, "Poster: VIBeS, Transition System Mutation Made Easy," 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), Florence, Italy, 2015, pp. 817-818.
doi:10.1109/ICSE.2015.263
157 ms
(Ver 3.3 (11022016))