Generación automática de pruebas estructurales de software mediante búsqueda tabú

Resumen

La prueba del software es un proceso de verificación y validación caro pero fundamental para asegurar su calidad, El objetivo de los métodos de generación de casos de prueba es obtener un conjunto de casos de prueba que permitan realizar una prueba suficiente (eficacia) y cuyo coste sea aceptable (eficiencia). Puesto que la generación manual de casos de prueba es una tarea muy costosa y además, a medida que el sistema aumenta, su eficacia suele disminuir, un aspecto muy importante de la prueba que necesita ser automatizado es la generación de casos de prueba. En esta tesis se desarrolla un nuevo método de generación automática de casos de prueba a partir del código del programa y basado en la técnica metaheurística denominada "Búsqueda Tabú". Este método es capaz de, con ligeras variaciones, generar automáticamente casos de prueba para varios criterios estructurales: cobertura de ramas, cobertura de condición/decisión, cobertura de bucles y prueba del camino básico. Los resultados obtenidos por el método desarrollado son comparados con los resultados disponibles para otros generadores automáticos existentes, mostrando cómo el método Tabú desarrollado es eficaz y eficiente.