面向OLAP数据库查询处理功能的模糊测试工具  

A fuzzer for query processing functionality of OLAP databases

作　　者：项兆坤 陈婷 苏仟 张蓉 XIANG Zhaokun;CHEN Ting;SU Qian;ZHANG Rong(School of Data Science and Engineering,East China Normal University,Shanghai 200062,China;China Industrial Control Systems Cyber Emergency Response Team,Beijing 100040,China)

机构地区：[1]华东师范大学数据科学与工程学院,上海200062 [2]国家工业信息安全发展研究中心,北京100040

出　　处：《华东师范大学学报（自然科学版）》2021年第5期74-83,共10页Journal of East China Normal University(Natural Science)

基　　金：国家自然科学基金(62072179);2020年关键软件适配验证中心项目。

摘　　要：查询处理是现代关系型数据库管理系统(DBMS)中最重要的功能之一,主要包括查询优化和查询执行.然而查询处理的复杂性导致了测试的高成本,阻碍了开发过程中的快速迭代,并可能在生产环境中导致严重错误.为了更好地服务于DBMS查询处理功能的评测,采用模糊测试的方法生成基于主键约束的随机数据和完全有效的复杂分析型查询;构建约束优化,对查询中算子的精确基数进行高效计算,从而获得查询的正确结果;最后实现了完整的工具.通过对TiDB的不同版本进行了小规模的测试,结果表明可以有效地检测出TiDB不同版本的一些Bug.Query processing, including optimization and execution, is one of the most critical functionalities of modern relational database management systems(DBMS). The complexity of query processing functionalities, however, leads to high testing costs. It hinders rapid iterations during the development process and can lead to severe errors when deployed in production environments. In this paper, we propose a tool to better serve the testing and evaluation of DBMS query processing functionalities;the tool uses a fuzzing approach to generate random data that is highly associated with primary keys and generates valid complex analytical queries. The tool constructs constrained optimization problems to efficiently compute the exact cardinalities of operators in queries and furnish the results. We launched small-scale testing of our method on different versions of TiDB and demonstrated that the tool can effectively detect bugs in different versions of TiDB.

关 键 词：分析型数据库 查询处理 查询执行 查询优化器 模糊测试 

分 类 号：TP392[自动化与计算机技术—计算机应用技术]