小组研究成果被ACM期刊TOSEM接收

清华大学软件系统安全保障小组研究成果“SnapCC: Effective File System Consistency Testing Using Systematic State Exploration”被期刊ACM Transactions on Software Engineering and Methodology接收。

本文提出了一种新的文件系统一致性测试方法——系统性文件系统持久状态探索，通过生成系统调用和执行反馈来生成压力测试负载，并系统地探索文件系统的所有可能持久状态，进而检测崩溃一致性错误。研究团队开发了原型工具SnapCC，并在Linux上测试了多个主流文件系统，结果显示SnapCC在覆盖率和错误发现数量上均优于现有工具Hydra和B3，并在两周内发现了15个新的文件系统一致性错误。此外，SnapCC在测试其他5个文件系统时还发现了7个额外的错误，进一步证明了其有效性和适应性。该工作由博士生刘健中、沈煜恒，硕士生徐意如、孙浩等共同参与完成。

ACM Transactions on Software Engineering and Methodology是软件工程领域著名期刊，也是CCF推荐A类期刊，主要发表软件测试与验证、软件系统设计与方法等领域的前沿研究工作，目前的影响因子为6.6。