loading...
Automatic Generation of Database Instances for White-box Testing
Chicago, Illinois October 08-October 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.96061225th Annual International Computer So ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Index Terms:
Database applications, embedded SQL, constraint solving, automatic test data generation, software testing
Citation:
Jian Zhang, Chen Xu, S.-C. Cheung, "Automatic Generation of Database Instances for White-box Testing," compsac, pp.161, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.