Publication: Generación automática de casos de prueba para consultas SQL en el sistema DES
Loading...
Official URL
Full text at PDC
Publication Date
2013
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
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.
Description
Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013)
UCM subjects
Unesco subjects
Keywords
Citation
Base de datos, Caso de prueba, Restricciones, Database, Test case, DES, Prolog, Constraints, SQL
VII