Proj THUDBFuzz Paper Reading: Finding Bugs in Database Systems via Query Partitioning

Abstract

针对Logic bugs,本文提出:

  1. Query Partitioning
  • 思路:从给定的原始query开始,构造更多复杂的queries,这些queries合起来的结果集与原来的结果集一致
  • 作者认为由于逻辑复杂了,更有可能找到逻辑bug
  1. 提出TLP: Ternary Logic Partitioning
  • 思路: 同个query能被分为3个partitioning queries: True, False, NULL
  • 效果: 能用于where, groupby, having, aggregate functions, distinct
  • 实验: 找到175个bugs, 其中125fixed, 77logic bugs
posted @   雪溯  阅读(104)  评论(0编辑  收藏  举报
编辑推荐:
· 一个奇形怪状的面试题:Bean中的CHM要不要加volatile?
· [.NET]调用本地 Deepseek 模型
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· .NET Core 托管堆内存泄露/CPU异常的常见思路
· PostgreSQL 和 SQL Server 在统计信息维护中的关键差异
阅读排行:
· DeepSeek “源神”启动!「GitHub 热点速览」
· 我与微信审核的“相爱相杀”看个人小程序副业
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 如何使用 Uni-app 实现视频聊天(源码,支持安卓、iOS)
· C# 集成 DeepSeek 模型实现 AI 私有化(本地部署与 API 调用教程)
点击右上角即可分享
微信分享提示