On Featured Transition Systems

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

doi:10.1007/978-3-319-51963-0_35

On Featured Transition Systems

Axel Legay, Gilles Perrouin, Xavier Devroey, 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

58 Téléchargements (Pure)

Résumé

Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, analysing SPLs is harder than for single software. In this invited paper, we synthesise six years of efforts in alleviating SPL verification and testing issues. To this end, we introduced Featured Transition Systems~(FTS) as a compact behavioural model for SPLs. Based on this formalism, we designed verification algorithms and tools allowing to check temporal properties on FTS, thereby assessing the correct behaviour of all the SPL products. We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis. We conclude with future directions on the development of FTS for SPL analysis.

langue originale	Anglais
titre	SOFSEM 2017
Sous-titre	Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
rédacteurs en chef	Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria, Bernhard Steffen
Lieu de publication	Limerick, Ireland
Editeur	Springer
Pages	453-463
Nombre de pages	11
ISBN (imprimé)	9783319519623
Les DOIs	https://doi.org/10.1007/978-3-319-51963-0_35
Etat de la publication	Publié - janv. 2017

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10139 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Accès au document

10.1007/978-3-319-51963-0_35

Legay-OnFeaturedTransitionSystems

http://dx.doi.org/10.1007/978-3-319-51963-035 http://link.springer.com/10.1007/978-3-319-51963-035

Autres fichiers et liens

Lien vers la publication sur Scopus

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

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

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P.-Y., & Heymans, P. (2017). On Featured Transition Systems. Dans C. Baier, M. van den Brand, J. Eder, M. Hinchey, T. Margaria, & B. Steffen (eds.), SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings (p. 453-463). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS). Springer. https://doi.org/10.1007/978-3-319-51963-0_35

Legay, Axel ; Perrouin, Gilles ; Devroey, Xavier et al. / On Featured Transition Systems. SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Editeur / Christel Baier ; Mark van den Brand ; Johann Eder ; Mike Hinchey ; Tiziana Margaria ; Bernhard Steffen. Limerick, Ireland : Springer, 2017. p. 453-463 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a7c8319a9bd843d9959e22aef4aaee40,

title = "On Featured Transition Systems",

abstract = "Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, analysing SPLs is harder than for single software. In this invited paper, we synthesise six years of efforts in alleviating SPL verification and testing issues. To this end, we introduced Featured Transition Systems~(FTS) as a compact behavioural model for SPLs. Based on this formalism, we designed verification algorithms and tools allowing to check temporal properties on FTS, thereby assessing the correct behaviour of all the SPL products. We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis. We conclude with future directions on the development of FTS for SPL analysis. ",

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

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.",

year = "2017",

month = jan,

doi = "10.1007/978-3-319-51963-0_35",

language = "English",

isbn = "9783319519623",

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

publisher = "Springer",

pages = "453--463",

editor = "Christel Baier and {van den Brand}, Mark and Johann Eder and Mike Hinchey and Tiziana Margaria and Bernhard Steffen",

booktitle = "SOFSEM 2017",

address = "United States",

}

Legay, A, Perrouin, G , Devroey, X , Cordy, M , Schobbens, P-Y & Heymans, P 2017, On Featured Transition Systems. Dans C Baier, M van den Brand, J Eder, M Hinchey, T Margaria & B Steffen (eds), SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 10139 LNCS, Springer, Limerick, Ireland, p. 453-463. https://doi.org/10.1007/978-3-319-51963-0_35

On Featured Transition Systems. / Legay, Axel; Perrouin, Gilles ; Devroey, Xavier et al.
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Ed. / Christel Baier; Mark van den Brand; Johann Eder; Mike Hinchey; Tiziana Margaria; Bernhard Steffen. Limerick, Ireland: Springer, 2017. p. 453-463 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS).

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 - On Featured Transition Systems

AU - Legay, Axel

AU - Perrouin, Gilles

AU - Devroey, Xavier

AU - Cordy, Maxime

AU - Schobbens, Pierre-Yves

AU - Heymans, Patrick

PY - 2017/1

Y1 - 2017/1

N2 - Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, analysing SPLs is harder than for single software. In this invited paper, we synthesise six years of efforts in alleviating SPL verification and testing issues. To this end, we introduced Featured Transition Systems~(FTS) as a compact behavioural model for SPLs. Based on this formalism, we designed verification algorithms and tools allowing to check temporal properties on FTS, thereby assessing the correct behaviour of all the SPL products. We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis. We conclude with future directions on the development of FTS for SPL analysis.

AB - Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, analysing SPLs is harder than for single software. In this invited paper, we synthesise six years of efforts in alleviating SPL verification and testing issues. To this end, we introduced Featured Transition Systems~(FTS) as a compact behavioural model for SPLs. Based on this formalism, we designed verification algorithms and tools allowing to check temporal properties on FTS, thereby assessing the correct behaviour of all the SPL products. We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis. We conclude with future directions on the development of FTS for SPL analysis.

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

U2 - 10.1007/978-3-319-51963-0_35

DO - 10.1007/978-3-319-51963-0_35

M3 - Conference contribution

SN - 9783319519623

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

SP - 453

EP - 463

BT - SOFSEM 2017

A2 - Baier, Christel

A2 - van den Brand, Mark

A2 - Eder, Johann

A2 - Hinchey, Mike

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Limerick, Ireland

ER -

Legay A, Perrouin G , Devroey X , Cordy M , Schobbens PY , Heymans P. On Featured Transition Systems. Dans Baier C, van den Brand M, Eder J, Hinchey M, Margaria T, Steffen B, rédacteurs en chef, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Limerick, Ireland: Springer. 2017. p. 453-463. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-51963-0_35

On Featured Transition Systems

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Projets

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

Thèses de l'étudiant

Behavioural model-based testing of software product lines

Contient cette citation