A test-suite generator for database systems

Author

Hamlin, Ariel ; Herzog, Jonathan

Author_Institution

Lincoln Lab., MIT, Lincoln, NE, USA

fYear

2014

fDate

9-11 Sept. 2014

Firstpage

1

Lastpage

6

Abstract

In this paper, we describe the SPAR Test Suite Generator (STSG), a new test-suite generator for SQL style database systems. This tool produced an entire test suite (data, queries, and ground-truth answers) as a unit and in response to a user´s specification. Thus, database evaluators could use this tool to craft test suites for particular aspects of a specific database system. The inclusion of ground-truth answers in the produced test suite, furthermore, allowed this tool to support both benchmarking (at various scales) and correctness-checking in a repeatable way. Lastly, the test-suite generator of this document was extensively profiled and optimized, and was designed for test-time agility.

Keywords

SQL; formal verification; program testing; relational databases; SPAR test suite generator; SQL style database system; STSG; correctness-checking; test-time agility; Compounds; Database systems; Generators; Optimization; Testing; Training; Data Generation; Database Testing & Benchmarking; Query Generation; Test Suite Generator;

fLanguage

English

Publisher

ieee

Conference_Titel

High Performance Extreme Computing Conference (HPEC), 2014 IEEE

Conference_Location

Waltham, MA

Print_ISBN

978-1-4799-6232-7

Type

conf

DOI

10.1109/HPEC.2014.7040957

Filename

7040957