Universidad Complutense de Madrid
E-Prints Complutense

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

Impacto

Downloads

Downloads per month over past year



Panizo Lledot, Ángel (2013) Generación automática de casos de prueba para consultas SQL en el sistema DES. [Coursework] (Unpublished)

[img]
Preview
PDF
4MB


Abstract

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.
Este 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, nuestra
herramienta 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 de
restricciones, cuya solución constituye el caso de prueba deseado.
Esta 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.
[ABSTRACT]
The 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.
This 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 the
formulas 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.
This 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.


Item Type:Coursework
Additional Information:

Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013)

Subjects:Sciences > Computer science > Databases
ID Code:22848
Deposited On:18 Sep 2013 09:27
Last Modified:21 Apr 2014 10:17

Origin of downloads

Repository Staff Only: item control page