25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Oct. 8, 2001 to Oct. 12, 2001
Jian Zhang , Chinese Academy of Sciences
Chen Xu , Chinese Academy of Sciences
S.-C. Cheung , Hong Kong University of Science and Technology
Testing is a critical activity for database application programs as faults if undetected could lead to unrecoverable data loss. Database application programs typically contain statements written in an imperative programming language with embedded data manipulation commands, such as SQL. However relatively little study has been made in the testing of database application programs. In particular, few testing techniques explicitly consider the inclusion of database instances in the selection of test cases and the generation of test data input. In this paper, we study the generation of database instances that respect the semantics of SQL statements embedded in a database application program. The paper also describes a supporting tool which generates a set of constraints. These constraints collectively represent a property against which the program is tested. Database instances for program testing can be derived by solving the set of constraints using existing constraint solvers.
Database applications, embedded SQL, constraint solving, automatic test data generation, software testing
C. Xu, J. Zhang and S. Cheung, "Automatic Generation of Database Instances for White-box Testing," 25th Annual International Computer Software and Applications Conference. COMPSAC 2001(COMPSAC), Chicago, Illinois, 2001, pp. 161.