Dynamic symbolic database application testing

A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any result values in its subsequent program logic. This means that a user-supplied query may determine the values that the application will use in subsequent branching conditions. At the same time, a new database application is often required to work well on a body of existing data stored in some large database. For systematic testing of database applications, recent techniques replace the existing database with carefully crafted mock databases. Mock databases return values that will trigger as many execution paths in the application as possible and thereby maximize overall code coverage of the database application. In this paper we offer an alternative approach to database application testing. Our goal is to support software engineers in focusing testing on the existing body of data the application is required to...

• Type: Conference
• Year: 2010
• Where: SIGMOD
• Authors: Chengkai Li, Christoph Csallner
• Keywords: Database, Database Application Differs, Database Applications, Mock Database, SIGMOD 2010