Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

80 Téléchargements (Pure)

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 originaleAnglais
titreProceedings - International Conference on Software Engineering
Pages472-481
Nombre de pages10
Les DOIs
Etat de la publicationPublié - 30 oct. 2013
Evénement35th International Conference on Software Engineering (ICSE 2013) - San Francisco, États-Unis
Durée: 18 mai 201326 mai 2013

Une conférence

Une conférence35th International Conference on Software Engineering (ICSE 2013)
PaysÉtats-Unis
La villeSan Francisco
période18/05/1326/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

    Contient cette citation