Proceedings ArticleDOI
42 variability bugs in the linux kernel: a qualitative analysis
Iago Abal,Claus Brabrand,Andrzej Wasowski +2 more
- pp 421-432
Reads0
Chats0
TLDR
This 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.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.read more
Citations
More filters
Proceedings ArticleDOI
A comparison of 10 sampling algorithms for configurable systems
TL;DR: In this article, the authors present a comparative study of 10 state-of-the-art sampling algorithms regarding their fault-detection capability and size of sample sets, and identify a number of technical challenges when trying to avoid the limiting assumptions, which questions the practicality of certain sampling algorithms.
Proceedings ArticleDOI
On essential configuration complexity: measuring interactions in highly-configurable systems
TL;DR: A dynamic analysis for Java based on variability-aware execution and monitor executions of multiple small to medium-sized programs is developed to better understand interactions in practice and finds that the essential configuration complexity of these programs is much lower than the combinatorial explosion of the configuration space indicates.
Posted Content
A Comparison of 10 Sampling Algorithms for Configurable Systems
TL;DR: In this paper, the authors present a comparative study of 10 state-of-the-art sampling algorithms regarding their fault-detection capability and size of sample sets, and identify a number of technical challenges when trying to avoid the limiting assumptions, which questions the practicality of certain sampling algorithms.
Journal ArticleDOI
Effective product-line testing using similarity-based product prioritization
TL;DR: In this article, similarity-based prioritization is proposed, which can be efficiently applied on product samples and potentially increases effectiveness in terms of fault detection ratio concerning faults within real-world product-line implementations as well as synthetically seeded faults.
Journal ArticleDOI
Multi-objective test case prioritization in highly configurable systems
José Antonio Parejo,Ana B. Sánchez,Sergio Segura,Antonio Ruiz-Cortés,Roberto E. Lopez-Herrejon,Alexander Egyed +5 more
TL;DR: Study of 63 combinations of up to three prioritization objectives in accelerating the detection of faults in the Drupal framework shows that non-functional properties such as the number of changes in the features are more effective than functional metrics extracted from the configuration model.
References
More filters
ReportDOI
Feature-Oriented Domain Analysis (FODA) Feasibility Study
TL;DR: This report will establish methods for performing a domain analysis and describe the products of the domain analysis process to illustrate the application of domain analysis to a representative class of software systems.
Book
Understanding the Linux Kernel
TL;DR: This edition of Understanding the Linux Kernel covers Version 2.6, which has seen significant changes to nearly every kernel subsystem, particularly in the areas of memory management and block devices.
Proceedings Article
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.
TL;DR: The design and prototype of a new technique for finding potential buffer overrun vulnerabilities in security-critical C code are implemented and used to find new remotely-exploitable vulnerabilities in a large, widely deployed software package.
BookDOI
Feature-Oriented Software Product Lines
TL;DR: Books and internet are the recommended media to help you improving your quality and performance.
Journal ArticleDOI
A static analyzer for finding dynamic programming errors
TL;DR: A compile‐time analyzer that detects these dynamic errors in large, real‐world programs, and provides valuable contextual information to the programmer who needs to understand and repair the defects.