42 Variability Bugs in the Linux Kernel: A Qualitative Study

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
Titel ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Antal sider12
ForlagAssociation for Computing Machinery
Publikationsdato2014
Sider421-432
ISBN (Trykt)978-1-4503-3013-8
StatusUdgivet - 2014
BegivenhedIEEE/ACM International Conference on Automated Software Engineering - Aros Congress Centre, Västerås, Sverige
Varighed: 15 sep. 201419 sep. 2014
Konferencens nummer: 29
http://ase2014.org/

Konference

KonferenceIEEE/ACM International Conference on Automated Software Engineering
Nummer29
LokationAros Congress Centre
Land/OmrådeSverige
ByVästerås
Periode15/09/201419/09/2014
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om '42 Variability Bugs in the Linux Kernel: A Qualitative Study'. Sammen danner de et unikt fingeraftryk.

Citationsformater