Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
LINQ: reconciling object, relations and XML in the .NET framework
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Anatomy of the ADO.NET entity framework
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Automatic Result Verification for the Functional Testing of a Query Language
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
A framework for testing DBMS features
The VLDB Journal — The International Journal on Very Large Data Bases
Scope playback: self-validation in the cloud
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Hi-index | 0.00 |
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.