Resumen de Automated diagnosis of feature model configurations

Jules White, David Benavides , Douglas C. Schmidt, Pablo Trinidad Martín-Arroyo , Brian Dougherty, Antonio Ruiz Cortés

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