Localizing Configurations In Highly-Configurable Systems

Keywords

Configurations; Program analysis; Testing; Variability

Abstract

The complexity of configurable systems has grown immensely, and it is only getting more complex. Such systems are a challenge for software testing and maintenance, because bugs and other defects can and do appear in any configuration. One common requirement for many development tasks is to identify the configurations that lead to a given defect or some other program behavior. We distill this requirement down to a challenge question: given a program location in a source file, what are valid configurations that include the location? The key obstacle is scalability. When there are thousands of configuration options, enumerating all combinations is exponential and infeasible. We provide a set of target programs of increasing difficulty and variations on the challenge question so that submitters of all experience levels can try out solutions. Our hope is to engage the community and stimulate new and interesting approaches to the problem of analyzing configurations.

Publication Date

8-20-2018

Publication Title

ACM International Conference Proceeding Series

Volume

1

Number of Pages

269-273

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/3233027.3236404

Socpus ID

85055492738 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/85055492738

This document is currently not available here.

Share

COinS