On Featured Transition Systems

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

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.
langueAnglais
titreSOFSEM 2017: Theory and Practice of Computer Science
Sous-titre43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
rédacteurs en chefBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Lieu de publicationLimerick, Ireland
EditeurSpringer
Pages453-463
Nombre de pages11
ISBN (imprimé)978-3-319-51963-0
Les DOIs
étatPublié - janv. 2017

Série de publications

NomLNCS
EditeurSpringer

Empreinte digitale

Testing

Citer ceci

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y., & Heymans, P. (2017). On Featured Transition Systems. Dans B. Steffen, C. Baier, M. van den Brand, J. Eder, M. Hinchey, & T. Margaria (eds.), SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (p. 453-463). (LNCS). Limerick, Ireland: Springer. DOI: 10.1007/978-3-319-51963-0_35
Legay, Axel ; Perrouin, Gilles ; Devroey, Xavier ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Heymans, Patrick. / 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, Limerick, Ireland, January 16-20, 2017, Proceedings. Editeur / Bernhard Steffen ; Christel Baier ; Mark van den Brand ; Johann Eder ; Mike Hinchey ; Tiziana Margaria. Limerick, Ireland : Springer, 2017. p. 453-463 (LNCS).
@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",
year = "2017",
month = "1",
doi = "10.1007/978-3-319-51963-0_35",
language = "English",
isbn = "978-3-319-51963-0",
series = "LNCS",
publisher = "Springer",
pages = "453--463",
editor = "Bernhard Steffen and Christel Baier and {van den Brand}, Mark and Johann Eder and Mike Hinchey and Tiziana Margaria",
booktitle = "SOFSEM 2017: Theory and Practice of Computer Science",

}

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

On Featured Transition Systems. / Legay, Axel; Perrouin, Gilles; Devroey, Xavier; Cordy, Maxime; Schobbens, Pierre-Yves; Heymans, Patrick.

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Ed. / Bernhard Steffen; Christel Baier; Mark van den Brand; Johann Eder; Mike Hinchey; Tiziana Margaria. Limerick, Ireland : Springer, 2017. p. 453-463 (LNCS).

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 - 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.

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

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

M3 - Conference contribution

SN - 978-3-319-51963-0

T3 - LNCS

SP - 453

EP - 463

BT - SOFSEM 2017: Theory and Practice of Computer Science

PB - Springer

CY - Limerick, Ireland

ER -

Legay A, Perrouin G, Devroey X, Cordy M, Schobbens P-Y, Heymans P. On Featured Transition Systems. Dans Steffen B, Baier C, van den Brand M, Eder J, Hinchey M, Margaria T, 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, Limerick, Ireland, January 16-20, 2017, Proceedings. Limerick, Ireland: Springer. 2017. p. 453-463. (LNCS). Disponible �, DOI: 10.1007/978-3-319-51963-0_35