A vision for behavioural model-driven validation of software product lines

X. Devroey; M. Cordy; G. Perrouin; E.-Y. Kang; P.-Y. Schobbens; P. Heymans; A. Legay; B. Baudry

doi:10.1007/978-3-642-34026-0_16

A vision for behavioural model-driven validation of software product lines

X. Devroey, M. Cordy, G. Perrouin, E.-Y. Kang, P.-Y. Schobbens, P. Heymans, A. Legay, B. Baudry

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

170 Téléchargements (Pure)

Résumé

The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.

langue originale	Anglais
titre	Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Pages	208-222
Nombre de pages	15
Volume	7609 LNCS
Les DOIs	https://doi.org/10.1007/978-3-642-34026-0_16
Etat de la publication	Publié - 15 oct. 2012
Evénement	The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) - Heraclion, Grèce Durée: 10 oct. 2012 → …

Une conférence

Une conférence	The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
Pays/Territoire	Grèce
La ville	Heraclion
période	10/10/12 → …

Accès au document

10.1007/978-3-642-34026-0_16

devroey-ISoLA2012
Published in T. Margaria, B. Steffen, and M. Merten (Eds.): ISoLA 2012, Part I, LNCS 7609, pp. 208-222, 2012, Springer-Verlag Berlin Heidelberg. The original publication is available at www.springerlink.com
Accepted author manuscript, 727 KB

Autres fichiers et liens

Link to publication in Scopus

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M. (Chercheur), Heymans, P. (Co-investigateur) & Schobbens, P. Y. (Co-investigateur)
1/10/11 → 30/09/15
Projet: Projet de thèse
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

Devroey, X., Cordy, M., Perrouin, G., Kang, E.-Y., Schobbens, P.-Y., Heymans, P., Legay, A., & Baudry, B. (2012). A vision for behavioural model-driven validation of software product lines. Dans Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) (Vol 7609 LNCS, p. 208-222) https://doi.org/10.1007/978-3-642-34026-0_16

@inproceedings{a281cf447d1d4f389c5cc4da040dff73,

title = "A vision for behavioural model-driven validation of software product lines",

abstract = "The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.",

keywords = "Software Product Line, Model-Based Testing, Model-Checking",

author = "X. Devroey and M. Cordy and G. Perrouin and E.-Y. Kang and P.-Y. Schobbens and P. Heymans and A. Legay and B. Baudry",

note = "Publication editors : T. Margaria, B. Steffen, and M. Merten; The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) ; Conference date: 10-10-2012",

year = "2012",

month = oct,

day = "15",

doi = "10.1007/978-3-642-34026-0_16",

language = "English",

isbn = "9783642340253",

volume = "7609 LNCS",

pages = "208--222",

booktitle = "Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",

}

Devroey, X , Cordy, M , Perrouin, G , Kang, E-Y , Schobbens, P-Y , Heymans, P, Legay, A & Baudry, B 2012, A vision for behavioural model-driven validation of software product lines. Dans Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). VOL. 7609 LNCS, p. 208-222, The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Heraclion, Grèce, 10/10/12. https://doi.org/10.1007/978-3-642-34026-0_16

A vision for behavioural model-driven validation of software product lines. / Devroey, X.; Cordy, M.; Perrouin, G. et al.
Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS 2012. p. 208-222.

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 - A vision for behavioural model-driven validation of software product lines

AU - Devroey, X.

AU - Cordy, M.

AU - Perrouin, G.

AU - Kang, E.-Y.

AU - Schobbens, P.-Y.

AU - Heymans, P.

AU - Legay, A.

AU - Baudry, B.

N1 - Publication editors : T. Margaria, B. Steffen, and M. Merten

PY - 2012/10/15

Y1 - 2012/10/15

N2 - The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.

AB - The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.

KW - Software Product Line

KW - Model-Based Testing

KW - Model-Checking

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

U2 - 10.1007/978-3-642-34026-0_16

DO - 10.1007/978-3-642-34026-0_16

M3 - Conference contribution

AN - SCOPUS:84868292536

SN - 9783642340253

VL - 7609 LNCS

SP - 208

EP - 222

BT - Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

T2 - The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)

Y2 - 10 October 2012

ER -

A vision for behavioural model-driven validation of software product lines

Résumé

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Projets

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

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