An automatic data generating system for data base simulation and testing

Lyons, Norman R.

doi:10.1145/1017601.1017603

Cited by 15 publications

(7 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Of all the relevant previous work, perhaps the closest is an early paper by Lyons [30]. This work is motivated by similar considerations, and the system reads a description of the structure of the data and uses it to generate tuples.…”

Section: Related Workmentioning

confidence: 99%

An AGENDA for testing relational database applications

Chays

Deng

Frankl

et al. 2004

Software Testing Verif & Rel

View full text Add to dashboard Cite

Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. This paper discusses issues arising in testing database systems, presents an approach to testing database applications, and describes AGENDA, a set of tools to facilitate the use of this approach. In testing such applications, the state of the database before and after the user's operation plays an important role, along with the user's input and the system output. A framework for testing database applications is introduced. A complete tool set, based on this framework, has been prototyped. The components of this system are a parsing tool that gathers relevant information from the database schema and application, a tool that populates the database with meaningful data that satisfy database constraints, a tool that generates test cases for the application, a tool that checks the resulting database state after operations are performed by a database application, and a tool that assists the tester in checking the database application's output. The design and implementation of each component of the system are discussed. The prototype described here is limited to applications consisting of a single SQL query.

show abstract

Section: Related Workmentioning

confidence: 99%

An AGENDA for testing relational database applications

Chays

Deng

Frankl

et al. 2004

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

“…On a related but complementary level, a substantial amount of work (e.g. [44,45,46,47,33,48,49,50,51,52,20,53,54,55,56]) has been done on how to generate test database content exhibiting some desirable properties, given only the database schema and possibly some queries to be executed over the database. The main difference between our work and these approaches is that they essentially work without considering the control flow of the programs manipulating the database.…”

Section: Other Related Workmentioning

confidence: 99%

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi

Vanhoof

Hainaut

2015

Science of Computer Programming

View full text Add to dashboard Cite

Symbolic execution is a technique enabling the automatic generation of test inputs that exercise a set of execution paths within a code unit to be tested. If the paths cover a sufficient part of the code under test, the test data offer a representative view of the actual behaviour of this code. This notably enables detecting errors and correcting faults. Relational databases are ubiquitous in software, but symbolic execution of code units that manipulate them remains a non-trivial problem, particularly because of the complex structure of such databases and the complex behaviour of SQL statements. Finding errors in such code units is yet critical, as it can avoid corrupting important data. In this work, we define a symbolic execution translating database manipulation code directly into constraints and integrate it with a more traditional symbolic execution of normal program code. The database tables are represented by relational symbols and the SQL statements by relational constraints over these symbols. An algorithm based on these principles is presented for the symbolic execution of simple Java methods that implement transactional use cases by reading and writing in a relational database, the latter subject to data integrity constraints. The algorithm is integrated in a test generation tool and experimented over sample code. The target language for the constraints produced by the tool is the SMT-Lib standard and the used solver is Microsoft Z3. The results show that the proposed approach enables generating meaningful test data, including valid database content, in reasonable time. In particular, the Z3 solver is shown to be more scalable than the Alloy solver, used in our previous work, for solving relational constraints.

show abstract

“…A framework for creating a test database is presented in (Lo et al, 2010) and (Bruno and Chaudhuri, 2005), while in (Binnig et al, 2007) the framework tests the features of RDBMSs and also includes an automatic database generator called QAGen. Due to security and confidentially issues tied with "live" database data, an automatic data generating tool is proposed in (Lyons, 1977) called ADG. Automatic data generation is also highly useful in terms of being able to create a desired problem situation within a database for testing.…”

Section: Related Work and Toolsmentioning

confidence: 99%

Metadata Extraction in Database Testing

Al-Khanjari¹

2013

IMBR

View full text Add to dashboard Cite

The need for an automated testing tool to test the correctness of the database applications is crucial in our current day since databases play an important role in almost all organizations. Also, databaseâ€™s behavior need to be verified in order to avoid costly errors and false information being extracted from them. The main aim of this paper was to create a component-based tester called DBSoft that tests the correctness of database application systems. The DBSoft toolkit consists of five tools as follows: information collection with the Parser tool, test case generation with the Input Generator tool, test case implementation with the Output Generator tool, test case validation with the Output Validator tool and report generation with the Report Generator tool.

show abstract

An automatic data generating system for data base simulation and testing

Cited by 15 publications

References 0 publications

An AGENDA for testing relational database applications

An AGENDA for testing relational database applications

Relational symbolic execution of SQL code for unit testing of database programs

Metadata Extraction in Database Testing

Contact Info

Product

Resources

About