arrow
Return

Range Fixes: Interactive Error Resolution for Software Configuration

delete2015-06-01
delete25
PRE
AI
Y
Yingfei Xiong *
H
Hansheng Zhang
A
Arnaud Hubaux
S
Steven She
J
Jie Wang
K
Krzysztof Czarnecki
DOI:10.1109/TSE.2014.2383381delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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 or a very long fix list, difficult for the user to identify the desirable fix; 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 nine open source projects over two configuration platforms. The evaluation shows that our notion of range fix leads to mostly simple yet complete sets of fixes, and our algorithm is able to generate fixes within one second for configuration systems with a few thousands options and constraints.
Keywords:
Consistency management
error resolution
range fix
software configuration
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.8K
Citations:
1.1W

Organization

P
peking university
Scholars:
11.7W
Papers: 8.7W
Citations: 146
U
University of Waterloo
Scholars:
2.2W
Papers: 2.3W
Citations: 3.3W