Testing of Linux File System Drivers
The paper investigates issues of Linux file system driver testing. Linux file system drivers are implemented as kernel modules, which works in the same address space as kernel core. For that reason, the driver should be very reliable. It should react adequately to incorrect file system images, to fa...
Main Authors: | A. V. Tsyvarev, V. A. Martirosyan |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/993 |
Similar Items
-
Using fault injection for testing Linux kernel components
by: A. . Tsyvarev, et al.
Published: (2018-10-01) -
Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01) -
Static Verification Tools for C Programs and Linux Device Drivers: A Survey
by: M. U. Mandrykin, et al.
Published: (2018-10-01) -
UPGRADE FOR HARDWARE/SOFTWARE SERVER AND NETWORK TOPOLOGY IN INFORMATION SYSTEMS
by: Oleksii O. Kaplun
Published: (2011-02-01) -
Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
by: E. M. Novikov
Published: (2018-10-01)