A comparison of 10 sampling algorithms for configurable systems

作者: Flávio Medeiros , Christian Kästner , Márcio Ribeiro , Rohit Gheyi , Sven Apel

DOI: 10.1145/2884781.2884793

关键词: Software qualityAlgorithm designFault detection and isolationProbabilistic analysis of algorithmsSoftware systemData miningGibbs samplingComputer scienceQuality control and genetic algorithmsKernel (image processing)

摘要: Almost every software system provides configuration options to tailor the target platform and application scenario. Often, this configurability renders analysis of individual infeasible. To address problem, researchers have proposed a diverse set sampling algorithms. We present comparative study 10 state-of-the-art algorithms regarding their fault-detection capability size sample sets. The former is important improve quality latter reduce time analysis. In nutshell, we found that with larger sets are able detect higher numbers faults, but simple small sets, such as most-enabled-disabled, most efficient in contexts. Furthermore, observed limiting assumptions made previous work influence number detected ranking Finally, identified technical challenges when trying avoid assumptions, which questions practicality certain

参考文章(59)
Krzysztof Czarnecki, Andrzej Wasowski, Thorsten Berger, Steven She, Rafael Lotufo, The Variability Model of The Linux Kernel. variability modelling of software-intensive systems. pp. 45- 51 ,(2010)
Jeff Offutt, Mats Grindal, Jonas Mellin, Handling Constraints in the Input Space when Using Combination Strategies for Software Testing Institutionen för kommunikation och information. ,(2006)
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi, On Parallel Scalable Uniform SAT Witness Generation Tools and Algorithms for the Construction and Analysis of Systems. ,vol. 9035, pp. 304- 319 ,(2015) , 10.1007/978-3-662-46681-0_25
Len Bass, Donna Xu, Ingo Weber, An Binh Tran, Liming Zhu, Xiwei Xu, Challenges in Practicing High Frequency Releases in Cloud Environments ,(2014)
Sebastian Oster, Florian Markert, Philipp Ritter, Automated Incremental Pairwise Testing of Software Product Lines Software Product Lines: Going Beyond. pp. 196- 210 ,(2010) , 10.1007/978-3-642-15579-6_14
Wolfgang De Meuter, Kris De Schutter, Bram Adams, Herman Tromp, The Evolution of the Linux Build System Electronic Communication of The European Association of Software Science and Technology. ,vol. 8, ,(2008) , 10.14279/TUJ.ECEASST.8.115
Rohit Gheyi, Christian Kästner, Sarah Nadi, Flávio Medeiros, Márcio Ribeiro, The Love/Hate Relationship with the C Preprocessor: An Interview Study european conference on object-oriented programming. ,vol. 37, pp. 518- ,(2015) , 10.4230/LIPICS.ECOOP.2015.495
Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wąsowski, Paulo Borba, Coevolution of variability models and related artifacts: a case study from the Linux kernel software product lines. pp. 91- 100 ,(2013) , 10.1145/2491627.2491628
Raghu Kacker, Vadim Okun, James Lawrence, D. Richard Kuhn, Yu Lei, IPOG-IPOG-D: efficient test generation for multi-way combinatorial testing Software Testing, Verification & Reliability. ,vol. 18, pp. 125- 148 ,(2008) , 10.1002/STVR.V18:3
Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi, An empirical study on configuration-related issues: investigating undeclared and unused identifiers Sigplan Notices. ,vol. 51, pp. 35- 44 ,(2015) , 10.1145/2814204.2814206