#sqlancer

SQLancer，用于自动测试DBMS以查找逻辑错误的工具
SQLancer, a tool to automatically test DBMSs to find logic bugs(github.com)
2020-6-7 15:21
SQLancer(合成查询Lenger)是一个自动测试数据库管理系统(DBMS)以查找其实现中的逻辑错误的工具。我们将逻辑错误称为那些导致DBMS获取错误结果集(例如，通过省略记录)的错误。 数据库生成：此阶段的目标是创建已填充的数据库，并向DBMS施加压力，以增加导致可随后检测到的不一致数据库状态的可能性。首先，创......