A Vision for Behavioural Model-Driven Validation of Software Product Lines

Xavier Devroey 1 Maxime Cordy 2 Gilles Perrouin 1 Eun-Young Kang 1 Pierre-Yves Schobbens 2 Patrick Heymans 1, 3, 4, 5 Axel Legay 6 Benoit Baudry 7
2 PReCISE
PReCISE - PReCISE Research Centre in Information Systems Engineering
3 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
6 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
7 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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 such scenarios on a vending machine SPL.
Type de document :
Communication dans un congrès
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece. 2012
Liste complète des métadonnées


https://hal.inria.fr/hal-00726121
Contributeur : Benoit Baudry <>
Soumis le : mercredi 29 août 2012 - 11:18:26
Dernière modification le : vendredi 13 janvier 2017 - 14:16:37
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 08:27:58

Fichier

isola2012-root.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00726121, version 1

Citation

Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, et al.. A Vision for Behavioural Model-Driven Validation of Software Product Lines. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece. 2012. <hal-00726121>

Partager

Métriques

Consultations de
la notice

567

Téléchargements du document

353