To prevent ill-formed configurations, highly configurable software often allows to define constraints over the available options. As these constraints can be complex, fixing errors introduced during configuration can be challenging. Although several fix-generation approaches exist, their applicability is limited because they typically generate only one fix, and they do not fully support non-Boolean constraints.

During this presentation, I first introduce the concept of range fix, a novel concept to resolve conflicts in software configuration. I then show with five open source projects that our approach generates complete fix lists that are mostly short and concise, in a fraction of a second. I conclude with a swift presentation of our working group aiming at unifying research on software and product configuration.

About the author