- Title
- An approach for validating feature models in software product lines
- Creator
- Zhang, Guoheng; Ye, Huilin; Lin, Yuqing
- Relation
- Journal of Software Engineering Vol. 7, Issue 1, p. 1-29
- Publisher Link
- http://dx.doi.org/10.3923/jse.2013.1.29
- Publisher
- Academic Journals Inc.
- Resource Type
- journal article
- Date
- 2013
- Description
- In a Software Product Line (SPL), a feature model is widely used to represent the commonalities and variabilities of a family of software products. In the process of establishing feature models, the incorrect and inaccurate feature relationships will lead to feature model errors which prevent the effective product configuration. The feature model validation aims to identify the errors existing in a feature model and find the solutions of resolving the errors. The current validation approaches transformed a feature model into a Constraint Satisfaction Problem (CSP) and used off-the-shelf solvers to reason on the CSP. However, the use of solvers might take an infeasible amount of time for validating large scale feature models, as CSP exhibits the exponential complexity and requires a combination of heuristics and combinational search methods. This study developed an efficient validation approach based on the contradictory feature relationships behind the errors. As the contradictory feature relationships were found based on feature relationship propagation, the solvers were not required by this approach. The performance and correctness of this proposed approach were evaluated by comparing with the CSP based approach based on a set of pre-designed feature models and a number of large-scale feature models.
- Subject
- software product line; feature model errors; feature model validation; constraint satisfaction problem; propagation
- Identifier
- http://hdl.handle.net/1959.13/1056822
- Identifier
- uon:16088
- Identifier
- ISSN:1819-4311
- Language
- eng
- Full Text
- Reviewed
- Hits: 1781
- Visitors: 2089
- Downloads: 343
Thumbnail | File | Description | Size | Format | |||
---|---|---|---|---|---|---|---|
View Details Download | ATTACHMENT01 | Publisher version (open access) | 1 MB | Adobe Acrobat PDF | View Details Download |