Automated SQL Query Generation for Systematic Testing of Database Engines ABSTRACT
Uložené v:
| Názov: | Automated SQL Query Generation for Systematic Testing of Database Engines ABSTRACT |
|---|---|
| Autori: | Shadi Abdul Khalek |
| Prispievatelia: | The Pennsylvania State University CiteSeerX Archives |
| Zdroj: | http://users.ece.utexas.edu/%7Esabdulkhalek/papers/sqlQueryGenretor.pdf. |
| Zbierka: | CiteSeerX |
| Predmety: | automated query generation, database management, Alloy |
| Popis: | We present a novel approach for generating syntactically and semantically correct SQL queries for testing relational database systems. We leverage the SAT-based Alloy tool-set to reduce the problem of generating valid SQL queries into a SAT problem. Our approach translates SQL query constraints into Alloy models, which enable it to generate valid queries that cannot be automatically generated using conventional grammar-based generators. Given a database schema, our new approach combined with our previous work on ADUSA, automatically generates (1) syntactically and semantically valid SQL queries for testing, (2) input data to populate test databases, and (3) expected result of executing the given query on the generated data. Experimental results show that not only can we automatically generate valid queries which detect bugs in database engines, but also we are able to combine this work with our previous work on ADUSA to automatically generate input queries and tables as well as expected query execution outputs to enable automated testing of database engines. |
| Druh dokumentu: | text |
| Popis súboru: | application/pdf |
| Jazyk: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.446; http://users.ece.utexas.edu/%7Esabdulkhalek/papers/sqlQueryGenretor.pdf |
| Dostupnosť: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.446 http://users.ece.utexas.edu/%7Esabdulkhalek/papers/sqlQueryGenretor.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Prístupové číslo: | edsbas.9D340B05 |
| Databáza: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | We present a novel approach for generating syntactically and semantically correct SQL queries for testing relational database systems. We leverage the SAT-based Alloy tool-set to reduce the problem of generating valid SQL queries into a SAT problem. Our approach translates SQL query constraints into Alloy models, which enable it to generate valid queries that cannot be automatically generated using conventional grammar-based generators. Given a database schema, our new approach combined with our previous work on ADUSA, automatically generates (1) syntactically and semantically valid SQL queries for testing, (2) input data to populate test databases, and (3) expected result of executing the given query on the generated data. Experimental results show that not only can we automatically generate valid queries which detect bugs in database engines, but also we are able to combine this work with our previous work on ADUSA to automatically generate input queries and tables as well as expected query execution outputs to enable automated testing of database engines. |
|---|