Preview

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Using fault injection for testing Linux kernel components

https://doi.org/10.15514/ISPRAS-2015-27(5)-9

Abstract

The paper presents methods aimed to extend coverage of existing tests by systematic and targeted fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal situations. As long as such situations happen seldom and unpredictably, it is difficult to debug bugs in the code handling them. Currently the only approach used in practice is random fault injection. The paper presents new methods that inject faults systematically. It allows to achieve better coverage and to make test results more predictable. The paper describes results of evaluation of the methods proposed and random fault injection.

About the Authors

A. . Tsyvarev
ISP RAS
Russian Federation


A. . Khoroshilov
ISP RAS; CMC MSU; Moscow Institute of Physics and Technology; FCS NRU HSE
Russian Federation


References

1. A.V. Tsyvarev, V.A. Martirosyan. Testirovanie drajverov fajlovyh sistem v OS Linux [Testing of Linux File System Drivers]. Trudy ISP RАN [The Proceedings of ISP RAS], 2012, vol. 23, pp. 413-426 (in Russian). doi: 10.15514/ISPRAS-2012-23-24.

2. Subrata.M, Balbir S., Masatake Y., Putting LTP to test – Validating both the Linux kernel and Test-cases. http://ltp.sourceforge.net/documentation/technical_papers/Putting_LTP_to_Test.pdf, 2009.

3. KEDR Project, http://linuxtesting.org/kedr.

4. E.A. Gerlits, V.V. Kuliamin, A.V. Maksimov, A.K. Petrenko, A.V. Khoroshilov, A.V. Tsyvarev. Testirovanie operacionnyh sistem [Testing of Operating Systems]. Trudy ISP RАN [The Proceedings of ISP RAS], 2014, vol. 26, n.1, pp. 27-72 (in Russian). doi: 10.15514/ISPRAS-2014-26(1)-3.

5. Linux File System Verification Project, http://linuxtesting.org/spruce

6. Xfstests source code, http://oss.sgi.com/cgi-bin/gitweb.cgi?p=xfs/cmds/xfstests.git


Review

For citations:


Tsyvarev A., Khoroshilov A. Using fault injection for testing Linux kernel components. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(5):157-174. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(5)-9



Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)