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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

76 Téléchargements (Pure)

Résumé

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.

langue originale	Anglais
titre	Proceedings - International Conference on Software Engineering
Lieu de publication	Florence, Italy
Editeur	IEEE Computer Society Press
Pages	817-818
Nombre de pages	2
Volume	2
ISBN (imprimé)	9781479919345
Les DOIs	https://doi.org/10.1109/ICSE.2015.263
Etat de la publication	Publié - 12 août 2015
Evénement	37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italie Durée: 16 mai 2015 → 24 mai 2015

Une conférence

Une conférence	37th IEEE/ACM International Conference on Software Engineering, ICSE 2015
Pays/Territoire	Italie
La ville	Florence
période	16/05/15 → 24/05/15

Accès au document

10.1109/ICSE.2015.263

xde-icse15manuscrit soumis, 75,1 KB

Autres fichiers et liens

Link to publication in Scopus

7 Citations
1 Article dans les actes d'une conférence/un colloque

A Variability Perspective of Mutation Analysis
Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 nov. 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Accès ouvert
File
357 Téléchargements (Pure)

1 Terminé

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Projet: Projet de thèse

1 Participation à une conférence, un congrès

37th International Conference on Software Engineering (ICSE 2015)
Xavier Devroey (Poster)
20 mai 2015 → 22 mai 2015
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Behavioural model-based testing of software product lines
Auteur: Devroey, X., 30 août 2017
Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Docteur en Sciences

Fichier

Contient cette citation

@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. Dans Proceedings - International Conference on Software Engineering. VOL. 2, 7203084, IEEE Computer Society Press, Florence, Italy, p. 817-818, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italie, 16/05/15. https://doi.org/10.1109/ICSE.2015.263

Poster: VIBeS, Transition System Mutation Made Easy. / Devroey, Xavier ; Perrouin, Gilles ; Schobbens, Pierre et al.
Proceedings - International Conference on Software Engineering. Vol 2 Florence, Italy: IEEE Computer Society Press, 2015. p. 817-818 7203084.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

Résumé

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Résultat de recherche

A Variability Perspective of Mutation Analysis

Projets

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

Activités

37th International Conference on Software Engineering (ICSE 2015)

Thèses de l'étudiant

Behavioural model-based testing of software product lines

Contient cette citation