Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features

Abstract : Model checking techniques for software product lines (SPL) are actively researched. A major limitation they currently have is the inability to deal efficiently with non-Boolean features and multi-features. An example of a non-Boolean feature is a numeric attribute such as maximum number of users which can take different numeric values across the range of SPL products. Multi-features are features that can appear several times in the same product, such as processing units which number is variable from one product to another and which can be configured independently. Both constructs are extensively used in practice but currently not supported by existing SPL model checking techniques. To overcome this limitation, we formally define a language that integrates these constructs with SPL behavioral specifications. We generalize SPL model checking algorithms correspondingly and evaluate their applicability. Our results show that the algorithms remain efficient despite the generalization.
Type de document :
Communication dans un congrès
ICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481, 2013
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087792
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 16:19:18
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 14 avril 2017 - 20:09:08

Fichier

icse13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01087792, version 1

Citation

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features. ICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481, 2013. 〈hal-01087792〉

Partager

Métriques

Consultations de la notice

455

Téléchargements de fichiers

200