Sistema integrado de testing basado en asertos

Abstract

La plataforma CAVI-ART para la verificación automática de programas ofrece numerosas herramientas para el análisis de los mismos entre las que encontramos dos generadores de casos de prueba. Ninguno de ellos permite la generación de estos automáticamente, teniendo que interactuar manualmente para obtenerlos. El objetivo de este trabajo es mejorar las herramientas anteriores, automatizando este proceso gracias al uso de la API de Z3, Z3Py, que es la que nos permitirá poder interactuar con los casos obtenidos. Además, otro de los objetivos establecidos será ampliar estas herramientas, añadiendo una adicional que será la encargada de validar los programas a partir de los casos de prueba generados con las anteriores.

The CAVI-ART platform for assisted program validation offers a set of tools for analyzing them, including two test case generators. None of them allow the generation of these cases automatically, having to interact manually to get them. The aim of this work is to improve the previous tool, automating this process thanks to te use of the Z3 API, Z3Py, which is what will allow us to interact with the obtained cases. In addition, another stablished objective is to expand these tools, adding an additional one for validating the programs, based on the test cases generated with the previous ones.