EPAs para REST APIs con EvoMaster

• Autores: Tarzia, Chiara
• Año de publicación: 2024
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Galeotti, Juan Pablo
• Materia: REST APIS; EVOMASTER; EPA; ALGORITMOS GENETICOS; MIO; VALIDACION; VERIFICACION; TESTS AUTOMATIZADOS; REST APIS; EVOMASTER; EPA; GENETIC ALGORITHMS; MIO; VALIDATION; VERIFICATION; AUTOMATED TESTS
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

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.
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.
Fil: Tarzia, Chiara. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.