42 variability bugs in the linux kernel: a qualitative analysis
42 variability bugs in the linux kernel: a qualitative analysis
复制标题
DOI：
10.1145/2642937.2642990
复制
发表时间：
2014-09
期刊：
影响因子：
--
通讯作者：
Iago Abal;Claus Brabrand;A. Wąsowski
中科院分区：
文献类型：
--
作者：
Iago Abal;Claus Brabrand;A. Wąsowski
程序敏感性验证追求对程序族的指数级变体的有效分析。然而，研究人员缺乏在真实的大规模系统中由可变性引起的具体错误的例子。这样的bug集合是面向目标的研究的一个需求，通过在真实的bug上测试它们来评估功能敏感分析的工具实现。我们提出了一个定性研究的42个可变性错误收集错误修复提交到Linux内核存储库。我们分析每个错误，并将结果记录在数据库中。此外，我们提供了自包含的简化C99版本的错误，便于理解和工具评估。我们的研究提供了深入了解的性质和发生的变化错误在一个大型的C软件系统，并显示在何种方式的变化影响和增加软件错误的复杂性。
Feature-sensitive verification pursues effective analysis of the exponentially many variants of a program family. However, researchers lack examples of concrete bugs induced by variability, occurring in real large-scale systems. Such a collection of bugs is a requirement for goal-oriented research, serving to evaluate tool implementations of feature-sensitive analyses by testing them on real bugs. We present a qualitative study of 42 variability bugs collected from bug-fixing commits to the Linux kernel repository. We analyze each of the bugs, and record the results in a database. In addition, we provide self-contained simplified C99 versions of the bugs, facilitating understanding and tool evaluation. Our study provides insights into the nature and occurrence of variability bugs in a large C software system, and shows in what ways variability affects and increases the complexity of software bugs.