Name
Abstract | ||
|---|---|---|
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models can involve multiple stages and participants, which makes it hard to avoid conflicts and errors. New techniques are therefore needed to debug invalid configurations and derive the minimal set of changes to fix flawed configurations. This paper provides three contributions to debugging feature model configurations: (1) we present a technique for transforming a flawed feature model configuration into a Constraint Satisfaction Problem (CSP) and show how a constraint solver can derive the minimal set of feature selection changes to fix an invalid configuration, (2) we show how this diagnosis CSP can automatically resolve conflicts between configuration participant decisions, and (3) we present experiment results that evaluate our technique. These results show that our technique scales to models with over 5,000 features, which is well beyond the size used to validate other automated techniques. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/SPLC.2008.16 | Limerick |
Keywords | Field | DocType |
flawed feature model configuration,minimal set,debugging feature model configuration,product-line configuration errors,large feature model,configuration participant decision,feature model constraint,feature models,feature model,feature selection change,flawed configuration,invalid configuration,automated diagnosis,automotive engineering,constraint satisfaction problem,product development,diagnosis,labeling,automation,constraint satisfaction problems,satisfiability,computational modeling,debugging | Systems engineering,Feature selection,Computer science,Feature (computer vision),Automation,Constraint satisfaction problem,Feature model,Software,Debugging,New product development | Conference |
ISBN | Citations | PageRank |
978-0-7695-3303-2 | 76 | 3.15 |
References | Authors | |
14 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. White | 1 | 112 | 5.03 |
| Douglas C. Schmidt | 2 | 5622 | 576.58 |
| David Benavides | 3 | 436 | 30.52 |
| P. Trinidad | 4 | 173 | 6.38 |
| A. Ruiz-Cortés | 5 | 190 | 9.01 |