Dissertation/Thesis Abstract

Constraint-based generation of database states for testing database applications
by Pan, Kai, Ph.D., The University of North Carolina at Charlotte, 2012, 169; 3552070
Abstract (Summary)

Testing is essential for quality assurance of database applications. To test the quality of database applications, it usually requires test inputs consisting of both program input values and corresponding database states. However, producing these tests could be very tedious and labor-intensive in a non-automated way. It is thus imperative to conduct automatic test generation helping reduce human efforts.

The research focuses on automatic test generation of both program input values and corresponding database states for testing database applications. We develop our approaches based on the Dynamic Symbolic Execution (DSE) technique to achieve various testing requirements. We formalize a problem for program-input-generation given an existing database state to achieve high program code coverage and propose an approach that conducts program-input-generation through auxiliary query construction based on the intermediate information accumulated during DSE's exploration. We develop a technique to generate database states to achieve advanced code coverage criteria such as Boundary Value Coverage and Logical Coverage. We develop an approach that constructs synthesized database interactions to guide the DSE's exploration to collect constraints for both program inputs and associated database states. In this way, we bridge various constraints within a database application: query-construction constraints, query constraints, database schema constraints, and query-result-manipulation constraints. We develop an approach that generates tests for mutation testing on database applications. We use a state-of-the-art white-box testing tool called Pex for .NET from Microsoft Research as the DSE engine. Empirical evaluation results show that our approaches are able to generate effective program input values and sufficient database states to achieve various testing requirements.

Indexing (document details)
Advisor: Wu, Xintao
School: The University of North Carolina at Charlotte
Department: Information Technology (PhD)
School Location: United States -- North Carolina
Source: DAI-B 74/06(E), Dissertation Abstracts International
Subjects: Computer science
Keywords: Constraint-based generation, Database applications, Dynamic Symbolic Execution
Publication Number: 3552070
ISBN: 9781267902924
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy