Mejorando el testing aleatorio de software

El testing consiste esencialmente en comprobar el comportamiento de los programas en un conjunto de situaciones particulares y su objetivo principal es garantizar la calidad del software. Debido a que la generacin manual de casos de prueba es una tarea muy costosa y propensa a errores, han surgido distintas herramientas que permiten automatizar la generacin de tests. Sin embargo, en el caso de programas que hacen uso intensivo de cadenas, uno de los principales problemas es la generacin de entradas tiles para ejercitar el cdigo bajo test de manera eficaz. Para afrontar este problema, en este trabajo se desarrollaron enfoques de generacin automtica de cadenas utilizando autmatas derivados a partir de expresiones regulares. Al describir las entradas del programa de manera precisa, los enfoques propuestos nos permiten construir entradas vlidas a partir de las expresiones regulares, como as tambin, generar cadenas invlidas aplicando operadores de mutacin a las cadenas vlidas. El objetivo es ejercitar el software con entradas que permitan lograr una mayor deteccin de fallas, respecto a las herramientas actuales de testing.