Different query verification approaches used to test entity SQL

  • Authors:
  • Sushil Chordia;Eric Dettinger;Ed Triou

  • Affiliations:
  • Microsoft SQL Server, Redmond, WA;Microsoft SQL Server, Redmond, WA;Microsoft SQL Server, Redmond, WA

  • Venue:
  • Proceedings of the 1st international workshop on Testing database systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Testing a query language is a complex and challenging task. A tester must determine the representative subset of queries which must be tested from an infinite set of valid queries. Once the representative set of queries is determined, they then face the task of verifying the results returned when the queries are executed. In this paper, we describe the following four verification approaches we have used to test Entity SQL (eSQL) queries: QueryBuilder, Query Mutations, Reverse Query Processing, and a Baseline Framework. We provide a general overview of each of the verification techniques, and where relevant we provide a description of the specific implementation details used to test eSQL. We also provide our observations about each of the verification techniques.