Symbolic Query Exploration

  • Margus Veanes
  • Pavel Grigorenko
  • Peli de Halleux
  • Nikolai Tillmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5885)

Abstract

We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a satisfiability or model generation problem modulo the background theory. We use the satisfiability modulo theories (SMT) solver Z3 in the concrete implementation. We describe an application of model generation in the context of the database unit testing framework of Visual Studio.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Margus Veanes
    • 1
  • Pavel Grigorenko
    • 2
  • Peli de Halleux
    • 1
  • Nikolai Tillmann
    • 1
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Institute of CyberneticsTallinn University of TechnologyTallinnEstonia

Personalised recommendations