Universidad Complutense de Madrid
E-Prints Complutense

Sistema integrado de testing basado en asertos
Assertion-based integrated testing system

Downloads

Downloads per month over past year

62009

Impacto

Downloads

Downloads per month over past year



Cilleros Garrudo, Alejandro (2020) Sistema integrado de testing basado en asertos. [Trabajo Fin de Grado]

[thumbnail of CILLEROS_GARRUDO_TFG_Alejandro_Cilleros_Garrudo_4398577_154022060.pdf]
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