Query-based test generation for database applications

ABSTRACT

This paper describes a new approach to generating inputs to database applications. The goal is to generate inputs that satisfy certain properties specified by the tester and that also cause queries to return non-empty result sets and cause updates and inserts to execute without violating uniqueness or referential integrity constraints. Based on the SQL statements in the application, test generation queries are generated; execution of these queries yields test inputs with the desired properties. The test generation algorithm is described and illustrated by an example. The technique has been implemented and experimental evaluation is in progress.

REFERENCES

• 1: C. Binnig, D. Kossmann, and E. Lo. Reverse query processing. In ICDE '07: Proceedings of the International Conference on Data Engineering, pages 506--515. IEEE Computer Society, 2007.
• 2: Carsten Binnig , Donald Kossmann , Eric Lo , M. Tamer Özsu, QAGen: generating query-aware test databases, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, June 11-14, 2007, Beijing, China [doi>10.1145/1247480.1247520]
• 3: D. Chays , Phyllis Frankl, Test data generation for relational database applications, Polytechnic University, Brooklyn, NY, 2004
• 4: David Chays , Yuetang Deng , Phyllis G. Frankl , Saikat Dan , Filippos I. Vokolos , Elaine J. Weyuker, An AGENDA for testing relational database applications: Research Articles, Software Testing, Verification & Reliability, v.14 n.1, p.17-44, March 2004 [doi>10.1002/stvr.v14:1]
• 5: Myra B. Cohen , Peter B. Gibbons , Warwick B. Mugridge , Charles J. Colbourn, Constructing test suites for interaction testing, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 6: Yuetang Deng , Phyllis Frankl , David Chays, Testing database transactions with AGENDA, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062486]
• 7: Michael Emmi , Rupak Majumdar , Koushik Sen, Dynamic test input generation for database applications, Proceedings of the 2007 international symposium on Software testing and analysis, July 09-12, 2007, London, United Kingdom [doi>10.1145/1273463.1273484]
• 8: T. J. Ostrand , M. J. Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, v.31 n.6, p.676-686, June 1988 [doi>10.1145/62959.62964]
• 9: Transaction Processing Performance Council. TPC-Benchmark C. 1998.
• 10: David Willmor , Suzanne M. Embury, An intensional approach to the specification of test cases for database applications, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134301]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

General Terms:
Reliability

Keywords:
database, software testing