Testing of Operating Systems
Evgeny Anatolyevich Gerlits, В. В. Кулямин, Andrew V. Maksimov, Alexander Konstantinovich Petrenko, А. В. Хорошилов, A.V. Tsyvarev · Proceedings of the Institute for System Programming of RAS · 2014
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.