Generating Range Fixes for Software Configuration

Download Now Free registration required

Executive Summary

To prevent configuration errors, 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 they typically generate only one fix, failing to cover the solution that the user wants; and 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 range of values at these options.

  • Format: PDF
  • Size: 199.2 KB