- Title
- Feature model validation: a constraint propagation-based approach
- Creator
- Zhang, Guoheng; Ye, Huilin; Lin, Yuqing
- Relation
- 2011 International Conference on Software Engineering Research and Practice (SERP '11). Proceedings of the 2011 International Conference on Software Engineering Research & Practice (Las Vegas, NV 18-21 July, 2011)
- Relation
- http://www.worldacademyofscience.org/worldcomp11/ws
- Publisher
- CSREA Press
- Resource Type
- conference paper
- Date
- 2011
- Description
- Feature model validation aims to identify errors in feature models. The two major errors, called dead features and false variable features, are caused by contradictory feature relationships in a feature model. Current existing approaches use constraint satisfaction problem (CSP) and CSP solvers to identify these feature model errors. However, CSP is a NPcomplete problem and CSP solvers reveal a weak time performance. To overcome this limitation, we develop a constraint propagation based approach to identify dead features and false variable features. The correctness and efficiency of our approach is compared with a well known feature model validation tool, called FAMA, based on a number of large-size feature models which are randomly generated. The time spent for identifying feature model errors is significantly reduced from O (2") required by FAMA which uses CSP solvers to O (n²), while both approaches identified the same set of errors for all the evaluated feature models.
- Subject
- feature model validation; dead features; false variable features; constraint propagation; feature models
- Identifier
- http://hdl.handle.net/1959.13/1057992
- Identifier
- uon:16303
- Identifier
- ISBN:1601321996
- Language
- eng
- Reviewed
- Hits: 1520
- Visitors: 1487
- Downloads: 1
Thumbnail | File | Description | Size | Format |
---|