Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087792
Contributor : Uli Fahrenberg <>
Submitted on : Wednesday, November 26, 2014 - 4:19:18 PM
Last modification on : Tuesday, June 15, 2021 - 4:13:18 PM
Long-term archiving on: : Friday, April 14, 2017 - 8:09:08 PM

File

icse13.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

647

Files downloads

524