arrow
返回

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
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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.
Keyword:
Consistency management
error resolution
range fix
software configuration
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.9K
被引数:
1.1W

机构

P
peking university
学者数:
11.9W
论文数: 8.7W
被引数: 146
U
University of Waterloo
学者数:
2.2W
论文数: 2.3W
被引数: 3.3W
引用论文

引用论文

Crystal Structures of CusC Review Conformational Changes Accompanying Folding and Transmembrane Channel Formation
err2014-01-01
err0
errOAAI
errHsiang-Ting Lei; Jani Reddy Bolla; Nicholas R. Bishop; Chih-Chia Su; Edward W. Yu
err分享
err收藏
Sparse Control for Dynamic Movement Primitives
err2017-07-01
err0
errOAAI
errPatrick M. Wensing; Jean-Jacques Slotine
err分享
err收藏
Protein expression from an Escherichia coli/Bacillus subtilis multifunctional shuttle plasmid with synthetic promoter sequences
err1992-06-01
err0
PREAI
errWilliam R. Trumble; Bruce A. Sherf; Jenny L. Reasoner; Patricia D. Seward; Barbara A. Denovan; Richard J. Douthart; James W. West
err分享
err收藏
err分享
err收藏
学者 查看更多内容