Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Michaël Marcozzi, Wim Vanhoof (Supervisor), Jean-Luc Hainaut (Supervisor)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

288 Downloads (Pure)

Abstract

Constraint-based testing is an automatic test case generation approach where the tested application is transformed into constraints whose solutions are adequate test data. In previous work, we have shown that this technique is particularly well-suited for testing SQL applications, as the semantics of SQL can be naturally transformed into standard SMT constraints, using so-called relational symbolic execution. In particular, we have demonstrated such testing to be possible in practice with current solver techniques for small-scale applications. In this work, we identify the main challenges and provide research directions towards constraint-based testing of full-scale SQL applications. We investigate the additional research work needed to integrate relational and dynamic symbolic execution, handle properly dynamic SQL, generate tractable SMT constraints for most SQL applications, detect SQL runtime errors and deal with non-deterministic SQL.
Original languageEnglish
Title of host publicationProceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)
PublisherACM Press
Publication statusPublished - 31 May 2014
Event6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014) - Hyderabad, India
Duration: 31 May 201431 May 2014

Conference

Conference6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)
Country/TerritoryIndia
CityHyderabad
Period31/05/1431/05/14

Fingerprint

Dive into the research topics of 'Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution'. Together they form a unique fingerprint.

Cite this