Skip to Main content Skip to Navigation
Conference papers

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

Maxime Cordy 1 Pierre-Yves Schobbens 1 Patrick Heymans 1 Axel Legay 2, * 
* Corresponding author
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Wednesday, November 26, 2014 - 4:19:18 PM
Last modification on : Monday, July 25, 2022 - 3:28:32 AM
Long-term archiving on: : Friday, April 14, 2017 - 8:09:08 PM


Files produced by the author(s)


  • HAL Id : hal-01087792, version 1


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. ⟨hal-01087792⟩



Record views


Files downloads