Visible to the public On essential configuration complexity: measuring interactions in highly-configurable systemsConflict Detection Enabled

TitleOn essential configuration complexity: measuring interactions in highly-configurable systems
Publication TypeConference Proceedings
Year of Publication2016
AuthorsJens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thum, Gunter Saake
Conference NameASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
Date Published09/2016
PublisherACM New York, NY, USA ©2016
Conference LocationSingapore, Singapore
ISBN Number978-1-4503-3845-5
KeywordsCMU, Configurable Software, Feature Interaction, Oct'16, Variability-Aware Execution

Quality assurance for highly-configurable systems is challenging due to the exponentially growing configuration space. Interactions among multiple options can lead to surprising behaviors, bugs, and security vulnerabilities. Analyzing all configurations systematically might be possible though if most options do not interact or interactions follow specific patterns that can be exploited by analysis tools. To better understand interactions in practice, we analyze program traces to characterize and identify where interactions occur on control flow and data. To this end, we developed a dynamic analysis for Java based on variability-aware execution and monitor executions of multiple small to medium-sized programs. We find that the essential configuration complexity of these programs is indeed much lower than the combinatorial explosion of the configuration space indicates. However, we also discover that the interaction characteristics that allow scalable and complete analyses are more nuanced than what is exploited by existing state-of-the-art quality assurance strategies.

Citation Keynode-30355

Other available formats:

Meinicke_Essential_Configuration_CK.pdfPDF document3.45 MBDownloadPreview