Constraint Generation Tool for White-box Testing

Testing of database application 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 application are rarely considered in conventional white box testing techniques. In this paper we study the generation of constraints 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 instance for program testing can be derived by solving the set of constraints using existing constraint solvers.