Input and output coverage needed in file system testing
Proceedings of the 15th ACM Workshop on Hot Topics in Storage and File Systems, 2023•dl.acm.org
File systems need testing to discover bugs and to help ensure reliability. Many file system
testing tools are evaluated based on their code coverage. We analyzed recently reported
bugs in Ext4 and BtrFS and found a weak correlation between code coverage and test
effectiveness: many bugs are missed because they depend on specific inputs, even though
the code was covered by a test suite. Our position is that coverage of system call inputs and
outputs is critically important for testing file systems. We thus suggest input and output …
testing tools are evaluated based on their code coverage. We analyzed recently reported
bugs in Ext4 and BtrFS and found a weak correlation between code coverage and test
effectiveness: many bugs are missed because they depend on specific inputs, even though
the code was covered by a test suite. Our position is that coverage of system call inputs and
outputs is critically important for testing file systems. We thus suggest input and output …
File systems need testing to discover bugs and to help ensure reliability. Many file system testing tools are evaluated based on their code coverage. We analyzed recently reported bugs in Ext4 and BtrFS and found a weak correlation between code coverage and test effectiveness: many bugs are missed because they depend on specific inputs, even though the code was covered by a test suite. Our position is that coverage of system call inputs and outputs is critically important for testing file systems. We thus suggest input and output coverage as criteria for file system testing, and show how they can improve the effectiveness of testing. We built a prototype called IOCov to evaluate the input and output coverage of file system testing tools. IOCov identified many untested cases (specific inputs and outputs or ranges thereof) for both CrashMonkey and xfstests. Additionally, we discuss a method and associated metrics to identify over- and under-testing using IOCov.
ACM Digital Library
以上显示的是最相近的搜索结果。 查看全部搜索结果