The Spruce System: quality verification of Linux file systems drivers

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