Registro:
| Documento: | Tesis de Grado |
| Título: | Ejecución Simbólica Dinámica en Evosuite : estudio e implementación |
| Título alternativo: | Dynamic symbolic execution on evosuite : study and implementation |
| Autor: | Lebrero Rial, Ignacio Manuel |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2024-07-30 |
| Fecha de defensa: | 2020-08-28 |
| Fecha en portada: | 2020 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Galeotti, Juan Pablo |
| Jurado: | Wilkinson, Hernán; Zoppi, Edgardo Julio |
| Idioma: | Español |
| Palabras clave: | INGENIERIA DEL SOFTWARE; TESTEO DE SOFTWARE; ANALISIS ESTATICO; ANALISIS DINAMICO; EJECUCION SIMBOLICA DINAMICA; EJECUCION CONCOLICA; GENERACION AUTOMATICA DE TESTING; EVOSUITESOFTWARE ENGINEERING; SOFTWARE TESTING; STATIC ANALISIS; DYNAMIC ANALISIS; DYNAMIC SYMBOLIC EXECUTION; CONCOLIC EXECUTION; AUTOMATED TESTING GENERATION; EVOSUITE |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000515_LebreroRial.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000515_LebreroRial |
| Ubicación: | Dep.COM 000515 |
| 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. Lebrero Rial, Ignacio Manuel. (2020). Ejecución Simbólica Dinámica en Evosuite : estudio e implementación. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial |
Resumen:
Evosuite [1] es una herramienta de generación automática de tests que utiliza, entre otros, un algoritmo genético para generar tests unitarios en clases escritas en código Java. En particular, el módulo de ejecución simbólica dinámica actual de la herramienta usa una técnica híbrida con el algo ritmo genético previamente mencionado. En esta tesis, primero construimos un módulo independiente que utiliza sólo ejecución simbólica dinámica. En esta etapa, separamos el módulo actual de ejecución simbólica dinámica y reconstruimos el algoritmo de exploración basándonos en el de SAGE [2] para luego comparar el nuevo módulo contra el viejo sobre un benchmark ya construido [3]. Por último, extendemos la expresividad del módulo para poder representar arreglos como elementos simbólicos.
Abstract:
Evosuite [1] is an automated testing generation tool that uses, amoung others, a genetic algorithm tecnique to generate test cases for classes written in Java code. In particular, it’s current dynamic symbolic execution module uses a hybrid approach combining it with the genetic algorithm. In this thesis, first we build a stadalone module that uses only dynamic sybolic execution. In this stage, we separate the dynamic simbolic execution module from the genetic algorithm and rebuild the exploration algorithm based on SAGE’s [2] implementation to later compare it against the old one by using an already created benchmark [3]. Finally, we extend the expressiveness of the module to being able to represent arrays as symbolic elements.
Citación:
---------- APA ----------
Lebrero Rial, Ignacio Manuel. (2020). Ejecución Simbólica Dinámica en Evosuite : estudio e implementación. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial
---------- CHICAGO ----------
Lebrero Rial, Ignacio Manuel. "Ejecución Simbólica Dinámica en Evosuite : estudio e implementación". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2020.https://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000515_LebreroRial.pdf
Distrubución geográfica
