DocumentCode :
117273
Title :
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
Link To Document :
بازگشت