Generador de valores interesantes para casos de pruebas unitarias

Resumen

Es de gran importancia, dentro de las pruebas de software, el diseño y la creación de pruebas eficaces asociadas a una adecuada generación de valores de prueba, pues las pruebas empíricas, no garantizan la detección de todos los errores, y la prueba exhaustiva es muy costosa en tiempo y esfuerzo. Por tanto, la estrategia es tratar de hacer las pruebas lo más abarcadoras posibles al tener en cuenta un subconjunto de los posibles casos y valores de prueba con mayor probabilidad de detectar errores. En este contexto, surge la necesidad de utilizar técnicas de diseño de casos de pruebas para la generación automática de los datos de prueba que garanticen obtener altos niveles de cobertura de errores. Este trabajo presenta una propuesta de generación de valores interesantes para pruebas unitarias, de forma automática, utilizando las técnicas de diseño de Bucles y Condiciones.