Generating range fixes for software configuration
- 1 June 2012
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
To prevent ill-formed configurations, highly configurable software often allows defining constraints over the available options. As these constraints can be complex, fixing a configuration that violates one or more constraints can be challenging. Although several fix-generation approaches exist, their applicability is limited because (1) they typically generate only one fix, failing to cover the solution that the user wants; and (2) they do not fully support non-Boolean constraints, which contain arithmetic, inequality, and string operators. This paper proposes a novel concept, range fix, for software configuration. A range fix specifies the options to change and the ranges of values for these options. We also design an algorithm that automatically generates range fixes for a violated constraint. We have evaluated our approach with three different strategies for handling constraint interactions, on data from five open source projects. Our evaluation shows that, even with the most complex strategy, our approach generates complete fix lists that are mostly short and concise, in a fraction of a second.Keywords
This publication has 20 references indexed in Scilit:
- A systematic review of evaluation of variability management approaches in software product linesInformation and Software Technology, 2011
- A Dynamic-Priority Based Approach to Fixing Inconsistent Feature ModelsLecture Notes in Computer Science, 2010
- Automated error analysis for the agilization of feature modelingJournal of Systems and Software, 2008
- Conflict-Directed Relaxation of Constraints in Content-Based Recommender SystemsLecture Notes in Computer Science, 2006
- Managing inconsistent repositories via prioritized repairsPublished by Association for Computing Machinery (ACM) ,2004
- Consistency-based diagnosis of configuration knowledge basesArtificial Intelligence, 2004
- Automatic detection and repair of errors in data structuresPublished by Association for Computing Machinery (ACM) ,2003
- Feature-Oriented Domain Analysis (FODA) Feasibility StudyPublished by Defense Technical Information Center (DTIC) ,1990
- A correction to the algorithm in reiter's theory of diagnosisArtificial Intelligence, 1989
- A theory of diagnosis from first principlesArtificial Intelligence, 1987