Exploring feature interactions without specifications: a controlled experiment
- 7 April 2020
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (9), 40-52
- https://doi.org/10.1145/3393934.3278127
Abstract
In highly configurable systems, features may interact unexpectedly and produce faulty behavior. Those faults are not easily identified from the analysis of each feature separately, especially when feature specifications are missing. We propose VarXplorer, a dynamic and iterative approach to detect suspicious interactions. It provides information on how features impact the control and data flow of the program. VarXplorer supports developers with a graph that visualizes this information, mainly showing suppress and require relations between features. To evaluate whether VarXplorer helps improve the performance of identifying suspicious interactions, we perform a controlled study with 24 subjects. We find that with our proposed feature-interaction graphs, participants are able to identify suspicious interactions more than 3 times faster compared to the state-of-the-art tool.Keywords
This publication has 34 references indexed in Scilit:
- A Classification and Survey of Analysis Strategies for Software Product LinesACM Computing Surveys, 2014
- Feature-interaction detection based on feature-based specificationsComputer Networks, 2013
- Multiple facets for dynamic information flowACM SIGPLAN Notices, 2012
- A survey of combinatorial testingACM Computing Surveys, 2011
- Modular Verification of Open Features Using Three-Valued Model CheckingAutomated Software Engineering, 2005
- Feature interaction: a critical review and considered forecastComputer Networks, 2003
- Feature integration using a feature constructScience of Computer Programming, 2001
- Experimental Design: OverviewPublished by Elsevier BV ,2001
- Feature combination and interaction detection via foreground/background modelsComputer Networks, 2000
- Feature interaction detection contest of the Fifth International Workshop on Feature InteractionsComputer Networks, 2000