Paper Info
Title
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 when the mapping of variability between both levels is ideal, and with a possible extension to 1 - to - m mapping. 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.
Year
DOI
Venue
2017
10.1145/3106195.3106209
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Field
DocType
Citations 
Data mining,Computer science,Static analysis,Slicing,Software design pattern,Feature model,Software product line,Empirical process (process control model)
Conference
1
PageRank 
References 
Authors
0.35
16
2
Name
Order
Citations
PageRank
Xhevahire Tërnava133.43
Philippe Collet265249.32