软件学报

作者：梁杰，吴志镛，符景洲，朱娟，姜宇，孙家广

单位：梁杰，清华大学 软件学院, 北京 10008411,吴志镛，清华大学 软件学院, 北京 10008402,符景洲，清华大学 软件学院, 北京 10008403,朱娟，湖北文理学院 物理与电子工程学院, 湖北 襄阳 44105304,姜宇，清华大学 软件学院, 北京 10008405,孙家广，清华大学 软件学院, 北京 10008406

关键词：数据库管理系统;模糊测试;漏洞挖掘

基金：国家自然科学基金(62302256, 62022046, 92167101, U1911401, 62021002, U20A6003); 国家重点研发计划(2022YFB3104000); 中国博士后科学基金(2023M731953)

数据库管理系统(DBMS)是用于高效存储、管理、分析数据的基础软件, 在现代数据密集型应用中起着举足轻重的作用. 数据库管理系统中存在的漏洞则对数据的安全性和应用的正常运行造成巨大威胁. 模糊测试是当前最为流行的动态漏洞检测技术之一, 它已经被应用于分析DBMS, 并发现许多漏洞. 分析DBMS的测试需求和难点, 提出对DBMS进行模糊测试的一般框架, 同时分析DBMS模糊测试工具面临的挑战和需要支持的维度; 接着从挖掘不同类型漏洞的角度介绍典型的DBMS模糊测试工具; 然后总结包括SQL表达式合成、代码覆盖追踪、测试准则构建在内的DBMS模糊测试的关键技术. 接着就测试的覆盖率, 生成测试用例的语法语义正确性和漏洞的发现能力对当前的几个流行模糊测试工具进行评估. 最后, 讨论当前DBMS模糊测试技术研究和实践中面临的问题, 并对未来的研究方向进行展望.

来源：2025年第1期

《软件学报》期刊编辑部

查看软件学报杂志2025年第1期