Generación automática de casos de prueba para consultas SQL en el sistema DES

摘要

El sistema DES v3.0 (Datalog Educational System) es un gestor de bases de datos deductivas y relacionales. Posee módulos que permiten la definición de datos y su manipulación mediante el lenguaje SQL. Además, con respecto a las consultas escritas en SQL, posee un generador automático de casos de prueba para vistas, con el fin de capturar posibles errores de diseño en sus consultas.udEste proyecto ha sido desarrollado con el propósito de extender la generación automática de casos de prueba del sistema DES. El funcionamiento es el siguiente: Dado el nombre de una vista a probar, definida en el esquema de la base de datos a partir de otras vistas y tablas, nuestraudherramienta crea primero las fórmulas que contienen las condiciones que una instancia de la base de datos tiene que cumplir para que la consulta de la vista devuelva al menos un registro (lo que se considera como un caso de prueba positivo), y después traduce esas fórmulas a lenguaje deudrestricciones, cuya solución constituye el caso de prueba deseado.udEsta separación entre generación de fórmulas y de restricciones hace que el sistema se vuelva más modular y aporta bastantes ventajas, como la posibilidad de modificar un módulo sin que afecte a otras partes del código o la facilidad de detección y aislamiento de errores.ud[ABSTRACT]udThe DES system v3.0 (Datalog Educational System) is a deductive and relational database manager. It has modules for data definition and manipulation using SQL language. Besides, regarding the queries written in SQL, implements an automatic test case generator for SQL views in order to catch design errors in their queries.udThis project has been developed with the purpose of extending the automatic test cases generation for DES system. It works as follows: Given the name of a view to be tested, defined in the schema of the database in terms of other views and schema tables, our tool first creates theudformulas that contains the conditions that a database instance has to satisfy so that the view query returns at least one record (which is considered to be a positive test case), and then translates these formulas into constraint language, whose solution constitute the desired test case.udThis separation between formulas and constraints generation makes the system become more modular and provides several advantages, such as the possibility to modify a module without affecting other parts of the code or an easier way to detect and isolate errors.