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 generación manual de casos de prueba es una tarea muy costosa y propensa a errores, han surgido distintas herramientas que permiten automatizar la generación de tests. Sin embargo, en el caso de programas que hacen uso intensivo de cadenas, uno de los principales problemas es la generación de entradas útiles para ejercitar el código bajo test de manera eficaz. Para afrontar este problema, en este trabajo se desarrollaron enfoques de generación automática de cadenas utilizando autómatas derivados a partir de expresiones regulares. Al describir las entradas del programa de manera precisa, los enfoques propuestos nos permiten construir entradas válidas a partir de las expresiones regulares, como así también, generar cadenas inválidas aplicando operadores de mutación a las cadenas válidas. El objetivo es ejercitar el software con entradas que permitan lograr una mayor detección de fallas, respecto a las herramientas actuales de testing.