摘要

An approach to automatically generate test data for SQL queries is described in this paper. Both the database schema and queries to be tested are used to guide the generation. The different test situations on the queries are identified using a condition coverage criterion and they are represented with a set of constraints that the information in the database must fulfill. Instances of a database that satisfy the constraints and thus constitute a test database are generated using the Alloy toolset. A case study of a real-life application is presented to illustrate and evaluate this work.

  • 出版日期2010-4