Early Consistency Checking between Specification and Implementation Variabilities

Abstract : In a software product line (SPL) engineering approach, the addressed variability in core-code assets must be consistent with the specified domain variability, usually captured in a variability model, e.g., a feature model. Currently, the support for checking such consistency is limited, mostly when a single variability implementation technique is used, e.g., preprocessors in C. In realistic SPLs, variability is implemented using a combined set of traditional techniques, e.g., inheritance, overloading, design patterns. An inappropriate choice and combination of such techniques become the source of variability inconsistencies. In this paper, we present a tooled approach to check the consistency of variability between the specification and implementation levels, when several variability implementation techniques are used together. The proposed method models the implemented variability in terms of variation points and variants, in a forest-like structure, and uses slicing to partially check the resulting propositional formulas at both levels. As a result, it offers an early and automatic detection of inconsistencies. We implemented and successfully applied the approach in four case studies. Our implementation , publicly available, detects inconsistencies in a very short time, which makes possible to ensure consistency earlier in the development process.
Type de document :
Communication dans un congrès
the 21st International Systems and Software Product Line Conference - Volume A, Sep 2017, Sevilla, France. ACM Press, 2017, 〈10.1145/3106195.3106209〉
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01699878
Contributeur : Philippe Collet <>
Soumis le : vendredi 2 février 2018 - 18:11:07
Dernière modification le : mercredi 7 février 2018 - 01:23:43

Fichier

SPLC_2017_paper_41.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xhevahire Tërnava, Philippe Collet. Early Consistency Checking between Specification and Implementation Variabilities. the 21st International Systems and Software Product Line Conference - Volume A, Sep 2017, Sevilla, France. ACM Press, 2017, 〈10.1145/3106195.3106209〉. 〈hal-01699878〉

Partager

Métriques

Consultations de la notice

9

Téléchargements de fichiers

4