本文提出了一个名为 SibylFS 的文件系统行为规范，可以以黑盒测试方式检查文件系统实现和规范之间的行为差异。
主要思路是统计多个文件系统的实现，计算具体文件系统与多个文件系统总体之间的差异性（直方图/信息熵），从而窥探出其文件系统的具体实现在语义上的差异。
诚
