Automated diagnosis of feature model configurations

作者：White J^*; Benavides D; Schmidt D C; Trinidad P; Dougherty B; Ruiz Cortes A

来源：Journal of Systems and Software, 2010, 83(7): 1094-1107.

DOI：10.1016/j.jss.2010.02.017

• Software product-lines
• Configuration
• Diagnosis
• Constraint satisfaction
• Optimization

Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. Each SPL configuration is represented as a selection of features from the feature model. Invalid SPL configurations can be created due to feature conflicts introduced via staged or parallel configuration or changes to the constraints in a feature model. When invalid configurations are created, a method is needed to automate the diagnosis of the errors and repair the feature selections.
This paper provides two contributions to research on automated configuration of SPLs. First, it shows how configurations and feature models can be transformed into constraint satisfaction problems to automatically diagnose errors and repair invalid feature selections. Second, it presents empirical results from diagnosing configuration errors in feature models ranging in size from 100 to 5,000 features. The results of our experiments show that our CSP-based diagnostic technique can scale up to models with thousands of features.

• 出版日期2010-7
• 单位Virginia Tech; 美国弗吉尼亚理工大学(Virginia Tech)