Mejora de casos de prueba en aplicaciones con bases de datos utilizando medidas de cobertura de sentencias sql

Durante anos se han realizado estudios que determinan la importancia de la realizacion de la prueba del software asi como su influencia en la calidad y el coste del producto final. En los ultimos anos ha crecido sustancialmente la investigacion en medidas, criterios de suficiencia, metodos y herramientas para la seleccion de los casos de prueba asi como su automatizacion. Aunque la mayor parte del software empresarial accede a bases de datos (generalmente mediante codigo SQL embebido dentro del imperativo), la mayoria de la investigacion en pruebas del software ignora el componente de base de da tos y lenguajes de consulta. El objetivo de esta tesis es definir criterios de suficiencia y utilizarlos como ayuda para la creacion de los casos de prueba de consultas SQL. Los criterios establecidos utilizan un enfoque de cobertura estructural y se dividen en dos: cobertura de condiciones y cobertura de ejecucion. La cobertura de condiciones se define para las condiciones delas consultas SQL que estan en las clausulas FROM (cuando incluyen joins), WHERE y HAVING. La cobertura de ejecucion se define para los atributos de agrupamiento de la clasula GROUP BY, parametros de las funciones de agregacion (count, max, min, sum y avg) asi como para los cuantificadores ALL y DISTINCT. Ademas, se contempla la existencia de valores constantes y parametros, el uso de vistas definidas en la base de datos, el uso de consultas SQL anidadas y la concatenacion de varias consultas mediante el operador UNION. Finalmente, se realiza la validacion de la efectividad del os casos de pruebas seleccionados utilizando los criterios de cobertura definidos. Esta efectividad se determina en relacion a la capacidad de encontrar defectos en las consultas SQL. Para ello se utiliza un caso de estudio.