An extensible platform for product-line behavioural analysis

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

104 Téléchargements (Pure)


Software Product-Line (SPL) model checking has reached an adequate level of efficiency and expressiveness to be applied on real-world cases. Yet a major challenge remains: model checkers should consist of black-box tools that do not require in-depth expertise to be used. In particular, it is essential to provide engineers with easy-to-learn languages to model both the behaviour of their SPL and the properties to check. In this paper, we propose a framework to build customized product-line verifiers modularly. Our extensible architecture allows one to plug new modelling languages or verifications algorithms without modifying other parts of it. It also provides means of representing and reasoning on variability that can facilitate the development of other SPL quality assurance techniques. We illustrate the benefits of our approach by detailing how we created a new domainspecific SPL modelling language and linked it to our tool. Copyright 2014 ACM.

langue originaleAnglais
titreACM International Conference Proceeding Series
Sous-titreCompanion Volume for Workshops, Demonstrations and Tools-Volume 2
EditeurACM Press
Nombre de pages8
ISBN (Electronique)9781450327398
ISBN (imprimé)9781450327398
Les DOIs
Etat de la publicationPublié - 15 sept. 2014
Evénement18th International Software Product Line Conference, SPLC 2014 - Florence, Italie
Durée: 15 sept. 201419 sept. 2014

Une conférence

Une conférence18th International Software Product Line Conference, SPLC 2014
La villeFlorence

Empreinte digitale

Examiner les sujets de recherche de « An extensible platform for product-line behavioural analysis ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation