Loading…
Academic Journal
Testing of Operating Systems
E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 73-108 (2018)
Saved in:
| Title | Testing of Operating Systems |
|---|---|
| Authors | E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev |
| Publication Year |
2018
|
| Source |
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 73-108 (2018)
|
| Description |
An operating system is a base stone of any computer system. Failures and bugs in operating system impact the functionality of the system as a whole, that is why correctness and reliability of operating systems are so important. A variety of circumstances make verification and testing of operating systems a complicated issue. The list includes high dependence of operating systems on hardware, their massive internal concurrency, huge number of configuration options, required tolerance to aggressive actions of counteragents and hardware faults, a need for long continuous work without reboot, etc. The paper discusses influence of all the circumstances on testing, describes testing tools and techniques developed in ISPRAS and presents our experience of testing of various components of Linux as well as a few other real-time operating systems.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.
|
| Subject Terms | |
