Projets par an
Résumé
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.
langue originale | Anglais |
---|---|
titre | Proceedings - International Conference on Software Engineering |
Pages | 472-481 |
Nombre de pages | 10 |
Les DOIs | |
Etat de la publication | Publié - 30 oct. 2013 |
Evénement | 35th International Conference on Software Engineering (ICSE 2013) - San Francisco, États-Unis Durée: 18 mai 2013 → 26 mai 2013 |
Une conférence
Une conférence | 35th International Conference on Software Engineering (ICSE 2013) |
---|---|
Pays/Territoire | États-Unis |
La ville | San Francisco |
période | 18/05/13 → 26/05/13 |
Empreinte digitale
Examiner les sujets de recherche de « Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features ». Ensemble, ils forment une empreinte digitale unique.Projets
- 1 Terminé
-
Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse