Impacto
Downloads
Downloads per month over past year
Cilleros Garrudo, Alejandro (2020) Sistema integrado de testing basado en asertos. [Trabajo Fin de Grado]
Preview |
PDF
Creative Commons Attribution Non-commercial. 938kB |
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.
Resumen (otros idiomas)
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.
Item Type: | Trabajo Fin de Grado |
---|---|
Additional Information: | 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. |
Directors: | Directors Peña Marí, Ricardo Sánchez Hernández, Jaime |
Uncontrolled Keywords: | Pruebas de ejecución, Resolutores SMT, Generador de restricciones, Resolución de restricciones, Estructuras de datos, Casos de caja blanca, Casos de caja negra, Validador de casos de prueba. |
Palabras clave (otros idiomas): | Testing, SMT solvers, Constraints generator, Constraints solving, Data structures, White box cases, Black box cases, Test case validator. |
Subjects: | Sciences > Computer science |
Título de Grado: | Grado en Ingeniería Informática |
ID Code: | 62009 |
Deposited On: | 07 Oct 2020 16:16 |
Last Modified: | 07 Oct 2020 16:16 |
Origin of downloads
Repository Staff Only: item control page