SQLancer, a tool to automatically test DBMSs to find logic bugs

Re:SQLancer, a tool to automatically test DBMSs to find logi... by grandinj on Sunday June 07, 2020 @09:24AM (#23447158)

Neat! Perhaps you could run this against H2 (I’m a maintainer). Although best to run against our current master, release is a little old.

[ Parent | on HN ]

Re:SQLancer, a tool to automatically test DBMSs to find logi... by mrigger on Sunday June 07, 2020 @12:04PM (#23448296)

Thanks for your interest! I'd love to test H2, but we are currently lacking the resources to do so. We've received a number of similar requests in the last couple of days and weeks. For each DBMS that we test, we need to add some logic to randomly generate databases and queries, since the SQL dialects typically differ. I've opened an issue in SQLancer's issue tracker for now: https://github.com/sqlancer/sqlancer/issues/23

[ Parent | on HN ]

Re:SQLancer, a tool to automatically test DBMSs to find logi... by bmichel on Sunday June 07, 2020 @12:17PM (#23448408)

The name SQLancer suggests that it is made for SQL databases. Do you think it would be easy to adapt it for documents databases like CouchDB or MongoDB?

[ Parent | on HN ]

Re:SQLancer, a tool to automatically test DBMSs to find logi... by mrigger on Sunday June 07, 2020 @12:29PM (#23448505)

I believe that the approaches that we designed could be implemented/extended to document-oriented DBMS. Since I don't have any experience with those DBMS, I have no intuition on whether the approaches would uncover any bugs.

Implementation-wise, supporting CouchDB and MongoDB in SQLancer would be feasible. SQLancer shares little infrastructure between the testing implementations for the individual DBMS, and thus imposes only few restrictions on them. We would definitely welcome implementations for any NoSQL DBMS in SQLancer!

[ Parent | on HN ]