Una parte fundamental del desarrollo del software es la fase del testing, también conocida como fase de pruebas del software (en inglés Software Tes-ting). La fase de testing del software tiene como objetivo principal, detectar posibles errores en el funcionamiento de las aplicaciones así como elementos que no cumplan con las especificaciones requeridas.udDurante el proceso de pruebas es necesario contar con un conjunto de casos de prueba, por lo que resulta necesario realizar un diseño previo de dichos casos de prueba para su posterior ejecución. En el campo de las bases de datos y en particular en el caso de las pruebas de consultas escritas en lenguaje SQL, es muy importante disponer de un conjunto de casos de prueba que sean de calidad, en el sentido de que sean de pequeño tamaño y que permitan detectar el mayor número de errores. Para medir la calidad del conjunto de casos de prueba se usan ciertos criterios de medida.udEn particular, para el caso de consultas escritas en lenguaje SQL, se usa el criterio de medida SQLfpc (Full Predicate Coverage). Este criterio esta definido mediante un conjunto de reglas que se derivan de la semántica de la consulta. En este proyecto hemos desarrollado un prototipo para la generación automática de las reglas que definen el criterio de medida SQLfpc para consultas SQL.
展开▼
