Coverage criteria for behavioural testing of software product lines

Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans

Coverage criteria for behavioural testing of software product lines

Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves 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

258 Téléchargements (Pure)

Résumé

Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products’ behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.

langue originale	Anglais
titre	Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
Editeur	Springer Verlag
Pages	336-350
Nombre de pages	15
Volume	8802
ISBN (imprimé)	9783662452332
Etat de la publication	Publié - 8 nov. 2014
Evénement	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Grèce Durée: 8 oct. 2014 → 11 oct. 2014

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8802
ISSN (imprimé)	03029743
ISSN (Electronique)	16113349

Une conférence

Une conférence	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Pays/Territoire	Grèce
La ville	Imperial, Corfu
période	8/10/14 → 11/10/14

Accès au document

isola2014
The final publication is available at link.springer.com
Accepted author manuscript, 725 KB

Autres fichiers et liens

Link to publication in Scopus

24 Citations
1 Logiciel

VIBeS: Variability Intensive system Behavioural teSting
Devroey, X. (Développeur) & Perrouin, G. (Développeur), oct. 2014
Résultats de recherche: Forme non textuelle › Logiciel

Accès ouvert

1 Terminé

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

1 Participation à un Colloque, une journée d'étude
1 Participation à une conférence, un congrès

Journée Ligne de Produits '14
Devroey, X. (Conférencier)
9 déc. 2014
Activité: Participation ou organisation d'un événement › Participation à un Colloque, une journée d'étude
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Devroey, X. (Conférencier)
8 oct. 2014 → 11 oct. 2014
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

VIBeS Case Studies: Featured Transition Systems and Feature Models
DEVROEY, X. (Créateur), University of Namur, oct. 2020
DOI: 10.5281/zenodo.4105899
Ensemble de données

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

Fichier

Contient cette citation

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y., & Heymans, P. (2014). Coverage criteria for behavioural testing of software product lines. Dans Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (Vol 8802, p. 336-350). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802). Springer Verlag.

Devroey, Xavier ; Perrouin, Gilles ; Legay, Axel et al. / Coverage criteria for behavioural testing of software product lines. Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Vol 8802 Springer Verlag, 2014. p. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7f3f746d86ec4d50ab0e88c4be60b187,

title = "Coverage criteria for behavioural testing of software product lines",

abstract = "Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products{\textquoteright} behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.",

keywords = "Coverage criteria, Model based testing, Software product line engineering",

author = "Xavier Devroey and Gilles Perrouin and Axel Legay and Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans",

year = "2014",

month = nov,

day = "8",

language = "English",

isbn = "9783662452332",

volume = "8802",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "336--350",

booktitle = "Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)",

address = "Germany",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Devroey, X , Perrouin, G, Legay, A, Cordy, M , Schobbens, P-Y & Heymans, P 2014, Coverage criteria for behavioural testing of software product lines. Dans Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). VOL. 8802, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 8802, Springer Verlag, p. 336-350, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Grèce, 8/10/14.

Coverage criteria for behavioural testing of software product lines. / Devroey, Xavier ; Perrouin, Gilles; Legay, Axel et al.
Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Vol 8802 Springer Verlag, 2014. p. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802).

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 - Coverage criteria for behavioural testing of software product lines

AU - Devroey, Xavier

AU - Perrouin, Gilles

AU - Legay, Axel

AU - Cordy, Maxime

AU - Schobbens, Pierre-Yves

AU - Heymans, Patrick

PY - 2014/11/8

Y1 - 2014/11/8

N2 - Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products’ behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.

AB - Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products’ behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.

KW - Coverage criteria

KW - Model based testing

KW - Software product line engineering

UR - http://www.scopus.com/inward/record.url?scp=84910645298&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84910645298

SN - 9783662452332

VL - 8802

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 336

EP - 350

BT - Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)

PB - Springer Verlag

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Devroey X , Perrouin G, Legay A, Cordy M , Schobbens PY , Heymans P. Coverage criteria for behavioural testing of software product lines. Dans Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Vol 8802. Springer Verlag. 2014. p. 336-350. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Coverage criteria for behavioural testing of software product lines

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Résultat de recherche

VIBeS: Variability Intensive system Behavioural teSting

Projets

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

Activités

Journée Ligne de Produits '14

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Ensembles de données

VIBeS Case Studies: Featured Transition Systems and Feature Models

Thèses de l'étudiant

Behavioural model-based testing of software product lines

Contient cette citation