Generación automática de datos de prueba basada en restricciones

Se presenta una técnica novedosa para la generación automática de datos de prueba. La técnica se basa en análisis de mutación y crea datos de prueba que aproximan la adecuación relativa. Es una técnica basada en fallos que utiliza restricciones algebraicas para describir casos de prueba diseñados para encontrar tipos particulares de fallos. Se ha implementado un conjunto de herramientas (colectivamente llamadas Godzilla) que genera automáticamente restricciones y las resuelve para crear casos de prueba para pruebas de unidad y de módulo. Godzilla se ha integrado con el sistema de pruebas Mothra y se ha utilizado como una forma efectiva de generar datos de prueba que eliminan mutantes del programa. Los autores presentan una lista inicial de restricciones y discuten algunos de los problemas que se han resuelto para desarrollar la implementación completa de la técnica.