Early Consistency Checking between Specification and Implementation Variabilities - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Early Consistency Checking between Specification and Implementation Variabilities

Résumé

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.
Fichier principal
Vignette du fichier
SPLC_2017_paper_41.pdf (1.05 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01699878 , version 1 (02-02-2018)

Identifiants

Citer

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. ⟨10.1145/3106195.3106209⟩. ⟨hal-01699878⟩
80 Consultations
78 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More