Abstract
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.
| Originalsprog | Engelsk |
|---|---|
| Titel | ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering |
| Antal sider | 12 |
| Forlag | Association for Computing Machinery |
| Publikationsdato | 2014 |
| Sider | 421-432 |
| ISBN (Trykt) | 978-1-4503-3013-8 |
| Status | Udgivet - 2014 |
| Begivenhed | IEEE/ACM International Conference on Automated Software Engineering - Aros Congress Centre, Västerås, Sverige Varighed: 15 sep. 2014 → 19 sep. 2014 Konferencens nummer: 29 http://ase2014.org/ |
Konference
| Konference | IEEE/ACM International Conference on Automated Software Engineering |
|---|---|
| Nummer | 29 |
| Lokation | Aros Congress Centre |
| Land/Område | Sverige |
| By | Västerås |
| Periode | 15/09/2014 → 19/09/2014 |
| Internetadresse |
Emneord
- Bugs
- Feature interactions
- Linux
- Software Variability