Generación automática de casos de prueba mediante búsqueda dispersa

El número de casos de prueba necesarios para probar un programa software es infinito, por lo que es imposible conseguir un programa totalmente probado, siendo además el proceso de prueba muy costoso. Por estos motivos las técnicas para la generación automática de casos de prueba tratan de encontrar de forma eficiente un conjunto pequeño de casos de prueba que permitan cumplir un determinado criterio de suficiencia. En este artículo se presenta un método basado en Búsqueda Dispersa que permite generar automáticamente casos de prueba para obtener cobertura de ramas. Además se muestran los resultados comparativos del método basado en Búsqueda Dispersa y de un método basado en Búsqueda Tabú

The test process is very expensive and the number of test cases needed to test a program is infinite, therefore it is impossible to obtain a fully tested program. For this reason, the techniques for the automatic generation of test cases try to efficiently find a small set of test cases that allow fulfilling an adequacy criterion. A method based on Scatter Search that automatically generates test cases to obtain branch coverage is presented in this article. Besides we show the results we have obtained compared with a method based on Tabu Search

-No disponible-

-No disponible-

-No disponible-

-No disponible-

Resumen

Inglés The test process is very expensive and the number of test cases needed to test a program is infinite, therefore it is impossible to obtain a fully tested program. For this reason, the techniques for the automatic generation of test cases try to efficiently find a small set of test cases that allow fulfilling an adequacy criterion. A method based on Scatter Search that automatically generates test cases to obtain branch coverage is presented in this article. Besides we show the results we have obtained compared with a method based on Tabu Search

Español El número de casos de prueba necesarios para probar un programa software es infinito, por lo que es imposible conseguir un programa totalmente probado, siendo además el proceso de prueba muy costoso. Por estos motivos las técnicas para la generación automática de casos de prueba tratan de encontrar de forma eficiente un conjunto pequeño de casos de prueba que permitan cumplir un determinado criterio de suficiencia. En este artículo se presenta un método basado en Búsqueda Dispersa que permite generar automáticamente casos de prueba para obtener cobertura de ramas. Además se muestran los resultados comparativos del método basado en Búsqueda Dispersa y de un método basado en Búsqueda Tabú