Paper Info
Title
Automatic Generation of Database Instances for White-box Testing
Abstract
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.
Year
DOI
Venue
2001
10.1109/CMPSAC.2001.960612
COMPSAC
Keywords
Field
DocType
testing technique,database instance,critical activity,database instances,automatic generation,data loss,white-box testing,sql statement,embedded data manipulation command,test data input,program testing,database application program,test case,software testing,database systems,programming language,sql,system testing,calculus,relational databases,imperative programming language,computer science,logic,application software,white box testing
Database tuning,Programming language,Database model,Computer science,View,Data definition language,Database testing,Database schema,Database design,Database application,Database
Conference
ISSN
ISBN
Citations 
0730-3157
0-7695-1372-7
33
PageRank 
References 
Authors
1.85
3
3
Name
Order
Citations
PageRank
Jian Zhang1605.20
Chen Xu2331.85
S. C. Cheung32657162.89