Runtime Verification of Linux Kernel Modules Based on Call Interception

Rubanov, Vladimir; Shatokhin, Eugene A.

doi:10.1109/icst.2011.20

Cited by 17 publications

(14 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Fault injection techniques are widely used for software and system testing [13,20,21,22,24], ranging from testing the reliability of device drivers to testing operating systems, embedded systems and real-time systems [3,7,14,15,18,23,27].…”

Section: Fault Injection Techniquesmentioning

confidence: 99%

“…KEDR Framework: KEDR [27] is a framework for dynamic (runtime and post mortem) analysis of Linux kernel modules, including device drivers, file system modules, etc. The components of KEDR operate on a kernel module chosen by the user.…”

Section: Linux Fault Injection Frameworkmentioning

confidence: 99%

“…Our concept of faults is consistent with that of LFII. There are also other similar studies focusing on fault injection techniques for driver robustness testing [27,34]. However, these approaches and tools have obvious limitations.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Automatic fault injection for driver robustness testing

Cong

Yang

et al. 2015

Proceedings of the 2015 International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

Robustness testing is a crucial stage in the device driver development cycle. To accelerate driver robustness testing, effective fault scenarios need to be generated and injected without requiring much time and human effort. In this paper, we present a practical approach to automatic runtime generation and injection of fault scenarios for driver robustness testing. We identify target functions that can fail from runtime execution traces, generate effective fault scenarios on these target functions using a bounded trace-based iterative strategy, and inject the generated fault scenarios at runtime to test driver robustness using a permutation-based injection mechanism. We have evaluated our approach on 12 Linux device drivers and found 28 severe bugs. All these bugs have been further validated via manual fault injection. The results demonstrate that our approach is useful and efficient in generating fault scenarios for driver robustness testing with little manual effort.

show abstract

Section: Fault Injection Techniquesmentioning

confidence: 99%

Section: Linux Fault Injection Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Automatic fault injection for driver robustness testing

Cong

Yang

et al. 2015

Proceedings of the 2015 International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

show abstract

“…KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation as well as other kinds of data collection and analysis. KEDR-based tools have already proven their effectiveness by finding errors in several widely used kernel modules [3]. KEDR framework is Free Software and is distributed under the terms of GNU General Public License Version 2.…”

Section: Overviewmentioning

confidence: 99%

“…The Spruce project [2,3] is designed to verify several Linux file system drivers, including Ext4, BtrFS, XFS, JFS. The system consists of several modules.…”

Section: Spruce Systemmentioning

confidence: 99%

The Spruce System: Quality Verification of Linux File Systems Drivers

Tsirunyan¹,

Martirosyan²,

Цыварев³

2012

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

-This paper is dedicated to the problem of dynamic verification of Linux file system drivers. Alongside with some existing solutions, the Spruce system is presented, which is dedicated to verification of drivers of certain Linux file systems. This system is being developed in the System Programming Laboratory of Russian-Armenian (Slavonic) University in Armenia. Spruce provides a large variety of tests for file system drivers. These tests help not only verify the file system functionality, but also watch the behavior of the driver in case of system failures and in rare paths.

show abstract