一种基于层次化模型的文件系统测试方法

摘要

本发明公开了一种基于层次化模型的文件系统测试方法，包括以下步骤：对文件系统进行层次化建模，在每一层模型上设计抽象文件系统调用原语；利用获取的层次化模型，生成文件系统调用序列，作为文件系统的测试输入；将调用序列具体化，将其与运行时环境编译链接成可执行文件作为文件系统的测试用例；用QEMU虚拟机运行操作系统内核及文件系统并自动化加载运行测试用例；自动化分析运行结果，验证测试是否触发文件系统缺陷；对于触发缺陷的测试用例，自动化约减测试用例。本发明能够弥补已有文件系统测试技术的不足，层次化构建文件系统模型的方法，高效地生成文件系统测试输入，并自动化地将所产生的输入用于测试文件系统。