Publication: Sistema integrado de testing basado en asertos
Loading...
Official URL
Full text at PDC
Publication Date
2020
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
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.
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.
Description
Trabajo de Fin de Grado en Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2019/2020.