Paper Info
Title
Test input generation for database programs using relational constraints
Abstract
Databases are ubiquitous in software and testing of programs manipulating databases is thus essential to enhance the reliability of software. In this paper, we describe a clean and unified approach to automatically generate test inputs for such database programs. First, we propose a formal language, called ImperDB, to model database programs. ImperDB allows to model common program behaviors and data structures, as well as typical interaction scenarios between programs and databases. Secondly, we present a static analysis technique to generate test inputs for ImperDB programs, according to any chosen structural adequacy criterion. The technique considers an ImperDB program as a sequence of operations over a set of relational variables, modeling both the database original content and the program inputs. The problem of finding test inputs forcing the execution of a given path can then be transformed into the problem of solving constraints over the relational variables associated to the program. These constraints are expressed with the Alloy language and solved by the Alloy analyzer.
Year
DOI
Venue
2012
10.1145/2304510.2304518
DBTest
Keywords
Field
DocType
common program behavior,test input generation,alloy language,program input,test input,relational constraint,database original content,model database program,alloy analyzer,relational variable,database program,imperdb program,formal language,software testing,data structure,static analysis
Data mining,Programming language,Relational database,Database model,Computer science,Database schema,Database design,Database testing,Data-driven testing,Relational model,Test data generation,Database
Conference
Citations 
PageRank 
References 
10
0.53
18
Authors
3
Name
Order
Citations
PageRank
Michaël Marcozzi1275.55
Wim Vanhoof222621.26
Jean-Luc Hainaut3901254.54