Registro:
| Documento: | Tesis de Grado |
| Título: | EPAs para REST APIs con EvoMaster |
| Título alternativo: | Epas for rest apis with evomaster3 |
| Autor: | Tarzia, Chiara |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-08-04 |
| Fecha de defensa: | 2024-05-07 |
| Fecha en portada: | 2024 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Galeotti, Juan Pablo |
| Jurado: | Caso, Guido de; Uchitel, Sebastián |
| Idioma: | Español |
| Palabras clave: | REST APIS; EVOMASTER; EPA; ALGORITMOS GENETICOS; MIO; VALIDACION; VERIFICACION; TESTS AUTOMATIZADOSREST APIS; EVOMASTER; EPA; GENETIC ALGORITHMS; MIO; VALIDATION; VERIFICATION; AUTOMATED TESTS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000510_Tarzia |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000510_Tarzia.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000510_Tarzia |
| Ubicación: | Dep.COM 000510 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Tarzia, Chiara. (2024). EPAs para REST APIs con EvoMaster. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000510_Tarzia |
Resumen:
La validación y verificación de las REST APIs puede resultar altamente compleja debido a la gran cantidad de endpoints que pueden contener. Cada combinación de llamados HTTP puede requerir diversas precondiciones que pueden no estar documentadas. En este trabajo, se propone una innovadora solución para la generación de Enabledness-Preserving Abstractions (EPAs) para REST APIs utilizando EvoMaster, herramienta de generación de tests automatizados con algoritmos evolutivos. Las EPAs son una representación del modelo mental que los desarrolladores tienen de una API, modelando el comportamiento del código y facilitando su análisis y comprensión. La propuesta se destaca por su enfoque dinámico en la generación de EPAs, a diferencia de los métodos estáticos tradicionales. Adicionalmente, se plantea la modificación del algoritmo evolutivo MIO de EvoMaster, incorporando una heurística que prioriza la identificación de nuevos arcos en las EPAs. Esta estrategia permite enfocar los casos de test para maximizar de la cobertura de la EPA.
Abstract:
Validation and verification of REST APIs can be highly complex due to the large number of endpoints they can contain. Each combination of HTTP calls may require various preconditions that may not be documented. This thesis proposes an innovative solution for generating Enabledness-Preserving Abstractions (EPAs) for REST APIs using Evo Master, a tool for generating automated tests with evolutionary algorithms. EPAs are a representation of the developers’ mental model of an API, modeling the behavior of the code and facilitating its analysis and understanding. The proposal stands out for its dynamic approach to EPA generation, in contrast to traditional static methods. This feature allows for a more accurate representation of the API’s behaviour in real time. Additionally, a modification to the MIO evolutionary algorithm of EvoMaster is proposed, incorporating a heuristic that prioritizes the identification of new edges in the EPAs. This strategy allows focusing the test cases to maximise the coverage of the EPA, optimising the validation process. In summary, this work presents a valuable contribution to the field of REST API validation and verification. The dynamic generation of EPAs and the implementation of the new heuristic in EvoMaster make up a powerful tool that facilitates error detection and quality improvement of APIs.
Citación:
---------- APA ----------
Tarzia, Chiara. (2024). EPAs para REST APIs con EvoMaster. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000510_Tarzia
---------- CHICAGO ----------
Tarzia, Chiara. "EPAs para REST APIs con EvoMaster". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/seminario_nCOM000510_Tarzia
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000510_Tarzia.pdf
Distrubución geográfica