Database Instances Generation Tool for White-Box Testing

Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption.Conventionally, database application testing is based upon whether or not the application can perform a set of predefined functions. While it is useful to achieve a basic degree of quality by considering the application to be a black box in the testing process, white box testing is required for more thorough testing.However, the semantics of the Structural Query Language (SQL) statements embedded in database applications are rarely considered in conventional white box testing techniques.In this paper, we study the generation of database instances that respect the semantics of SQL statements embedded in a database -application program.We have described a tool which generates a set of constraints. Database instances for program testing can be derived by solving the set of constraints using existing constraint solvers.