Coverage criteria for behavioural testing of software product lines

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

204 Downloads (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 originaleAnglais
titreProceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
EditeurSpringer Verlag
Pages336-350
Nombre de pages15
Volume8802
ISBN (imprimé)9783662452332
étatPublié - 8 nov. 2014
Evénement6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Grèce
Durée: 8 oct. 201411 oct. 2014

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8802
ISSN (imprimé)03029743
ISSN (Electronique)16113349

Une conférence

Une conférence6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
PaysGrèce
La villeImperial, Corfu
période8/10/1411/10/14

Empreinte digitale

Software Product Lines
Transition Systems
Coverage
Testing
Websites
Behavioral Modeling
Model-based Testing
Formal Modeling

Citer ceci

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 ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Heymans, Patrick. / 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’ 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 = "11",
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",

}

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; Cordy, Maxime; Schobbens, Pierre-Yves; Heymans, Patrick.

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érenceArticle 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

ER -

Devroey X, Perrouin G, Legay A, Cordy M, Schobbens P-Y, 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)).