Projects per year
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 behavioural specifications. We generalize SPL model checking algorithms correspondingly and evaluate their applicability. Our results show that the algorithms remain efficient despite the generalization.
Original language | English |
---|---|
Title of host publication | Proceedings - International Conference on Software Engineering |
Pages | 472-481 |
Number of pages | 10 |
DOIs | |
Publication status | Published - 30 Oct 2013 |
Event | 2013 35th International Conference on Software Engineering, ICSE 2013 - San Francisco, United States Duration: 18 May 2013 → 26 May 2013 |
Conference
Conference | 2013 35th International Conference on Software Engineering, ICSE 2013 |
---|---|
Country/Territory | United States |
City | San Francisco |
Period | 18/05/13 → 26/05/13 |
Keywords
- Feature Cardinalities
- Model Checking
- Numeric Features
- Semantics
- Software Product Lines
- Tools
Fingerprint
Dive into the research topics of 'Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Project: PHD