Poster: VIBeS, Transition System Mutation Made Easy

Xavier Devroey; Gilles Perrouin; Pierre Schobbens; Patrick Heymans

doi:10.1109/ICSE.2015.263

Poster: VIBeS, Transition System Mutation Made Easy

Xavier Devroey, Gilles Perrouin, Pierre Schobbens, Patrick Heymans

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

53 Downloads (Pure)

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	https://doi.org/10.1109/ICSE.2015.263
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

Keywords

Featured Transition Systems
Model-Based Mutation Testing
VIBeS

Access to Document

10.1109/ICSE.2015.263

xde-icse15Submitted manuscript, 75.1 KB

Fingerprint Dive into the research topics of 'Poster: VIBeS, Transition System Mutation Made Easy'. Together they form a unique fingerprint.

1 Finished

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.
1/09/11 → 30/08/17
Project: PHD

1 Participation in conference

37th International Conference on Software Engineering (ICSE 2015)
Xavier Devroey (Poster)
20 May 2015 → 22 May 2015
Activity: Participating in or organising an event types › Participation in conference

Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017
Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences

File

Cite this

@inproceedings{9e81f7ad1e124829943ee451a71a278a,

title = "Poster: VIBeS, Transition System Mutation Made Easy",

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 = "Featured Transition Systems, Model-Based Mutation Testing, VIBeS",

author = "Xavier Devroey and Gilles Perrouin and Pierre Schobbens and Patrick Heymans",

year = "2015",

month = aug,

day = "12",

doi = "10.1109/ICSE.2015.263",

language = "English",

isbn = "9781479919345",

volume = "2",

pages = "817--818",

booktitle = "Proceedings - International Conference on Software Engineering",

publisher = "IEEE Computer Society Press",

note = "37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 ; Conference date: 16-05-2015 Through 24-05-2015",

}

Devroey, X , Perrouin, G , Schobbens, P & Heymans, P 2015, Poster: VIBeS, Transition System Mutation Made Easy. in Proceedings - International Conference on Software Engineering. vol. 2, 7203084, IEEE Computer Society Press, Florence, Italy, pp. 817-818, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16/05/15. https://doi.org/10.1109/ICSE.2015.263

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

AN - SCOPUS:84951856946

SN - 9781479919345

VL - 2

SP - 817

EP - 818

BT - Proceedings - International Conference on Software Engineering

PB - IEEE Computer Society Press

CY - Florence, Italy

T2 - 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015

Y2 - 16 May 2015 through 24 May 2015

ER -

Poster: VIBeS, Transition System Mutation Made Easy

Abstract

Conference

Keywords

Access to Document

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

37th International Conference on Software Engineering (ICSE 2015)

Behavioural model-based testing of software product lines

Cite this