面向OLAP数据库查询处理功能的模糊测试工具 |
| |
作者单位: | 华东师范大学数据科学与工程学院,上海200062;国家工业信息安全发展研究中心,北京 100040 |
| |
基金项目: | 国家自然科学基金;关键软件适配验证中心项目 |
| |
摘 要: | 查询处理是现代关系型数据库管理系统(DBMS)中最重要的功能之一,主要包括查询优化和查询执行.然而查询处理的复杂性导致了测试的高成本,阻碍了开发过程中的快速迭代,并可能在生产环境中导致严重错误.为了更好地服务于DBMS查询处理功能的评测,采用模糊测试的方法生成基于主键约束的随机数据和完全有效的复杂分析型查询;构建约束优化,对查询中算子的精确基数进行高效计算,从而获得查询的正确结果;最后实现了完整的工具.通过对TiDB的不同版本进行了小规模的测试,结果表明可以有效地检测出TiDB不同版本的一些Bug.
|
关 键 词: | 分析型数据库 查询处理 查询执行 查询优化器 模糊测试 |
本文献已被 CNKI 万方数据 等数据库收录! |
|