2014
DOI: 10.1145/2580950
|View full text |Cite
|
Sign up to set email alerts
|

A Classification and Survey of Analysis Strategies for Software Product Lines

Abstract: Software-product-line engineering has gained considerable momentum in the recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, model checking, and theorem proving, in their quest of ensuring correctness and reliability of software. Simply creating and analyzing all products of a product line is usually not feasible, due to the potentia… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
412
0
8

Year Published

2015
2015
2020
2020

Publication Types

Select...
8
1

Relationship

1
8

Authors

Journals

citations
Cited by 448 publications
(440 citation statements)
references
References 156 publications
(301 reference statements)
0
412
0
8
Order By: Relevance
“…Variability implementation in highly-configurable systems has been extensively studied in the past (Thüm et al 2014). Our approach relies on extraction and consolidation of variability evolution across the different variability spaces.…”
Section: Related Workmentioning
confidence: 99%
“…Variability implementation in highly-configurable systems has been extensively studied in the past (Thüm et al 2014). Our approach relies on extraction and consolidation of variability evolution across the different variability spaces.…”
Section: Related Workmentioning
confidence: 99%
“…Both approaches are limited to single systems without variability. Recent approaches for variability-aware product-line analysis can be roughly categorized into four strategies: samplebased, family-based, feature-based, and incremental techniques [27]. Most of these approaches consider the adoption of formal methods for product-line ver-ification [26].…”
Section: Related Workmentioning
confidence: 99%
“…For SPLs to obtain full acceptance in practice, established quality-assurance techniques have to be lifted to become variability-aware as well, to also benefit from reuse principles [24,26,27]. Various promising attempts have been proposed, enhancing respective model-checking and software-testing techniques to efficiently verify entire families of software products instead of every single variant [4,12,14,16].…”
Section: Introductionmentioning
confidence: 99%
“…There is extensive work on adapting software engineering techniques to product lines in order to avoid having to explicitly manipulate individual products [32]. Lifting has been applied to model checking [8], type checking [19], testing [20], etc.…”
Section: Related Workmentioning
confidence: 99%