Ejecución Simbólica Dinámica en Evosuite : estudio e implementación

Mostrar todas las versiones(2)

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 ritm...

Descripción completa

Detalles Bibliográficos
Autor principal:	Lebrero Rial, Ignacio Manuel
Otros Autores:	Galeotti, Juan Pablo
Formato:	Tesis de grado publishedVersion
Lenguaje:	Español
Publicado:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020
Materias:	INGENIERIA DEL SOFTWARE TESTEO DE SOFTWARE ANALISIS ESTATICO ANALISIS DINAMICO EJECUCION SIMBOLICA DINAMICA EJECUCION CONCOLICA GENERACION AUTOMATICA DE TESTING EVOSUITE SOFTWARE ENGINEERING SOFTWARE TESTING STATIC ANALISIS DYNAMIC ANALISIS DYNAMIC SYMBOLIC EXECUTION CONCOLIC EXECUTION AUTOMATED TESTING GENERATION
Acceso en línea:	https://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	seminario:seminario_nCOM000515_LebreroRial
record_format	dspace
spelling	seminario:seminario_nCOM000515_LebreroRial2025-05-09T18:45:44Z Ejecución Simbólica Dinámica en Evosuite : estudio e implementación Dynamic symbolic execution on evosuite : study and implementation Lebrero Rial, Ignacio Manuel Galeotti, Juan Pablo INGENIERIA DEL SOFTWARE TESTEO DE SOFTWARE ANALISIS ESTATICO ANALISIS DINAMICO EJECUCION SIMBOLICA DINAMICA EJECUCION CONCOLICA GENERACION AUTOMATICA DE TESTING EVOSUITE SOFTWARE ENGINEERING SOFTWARE TESTING STATIC ANALISIS DYNAMIC ANALISIS DYNAMIC SYMBOLIC EXECUTION CONCOLIC EXECUTION AUTOMATED TESTING GENERATION EVOSUITE 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. 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. Fil: Lebrero Rial, Ignacio Manuel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020-08-28 info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion application/pdf spa https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language	Español
orig_language_str_mv	spa
topic	INGENIERIA DEL SOFTWARE TESTEO DE SOFTWARE ANALISIS ESTATICO ANALISIS DINAMICO EJECUCION SIMBOLICA DINAMICA EJECUCION CONCOLICA GENERACION AUTOMATICA DE TESTING EVOSUITE SOFTWARE ENGINEERING SOFTWARE TESTING STATIC ANALISIS DYNAMIC ANALISIS DYNAMIC SYMBOLIC EXECUTION CONCOLIC EXECUTION AUTOMATED TESTING GENERATION EVOSUITE
spellingShingle	INGENIERIA DEL SOFTWARE TESTEO DE SOFTWARE ANALISIS ESTATICO ANALISIS DINAMICO EJECUCION SIMBOLICA DINAMICA EJECUCION CONCOLICA GENERACION AUTOMATICA DE TESTING EVOSUITE SOFTWARE ENGINEERING SOFTWARE TESTING STATIC ANALISIS DYNAMIC ANALISIS DYNAMIC SYMBOLIC EXECUTION CONCOLIC EXECUTION AUTOMATED TESTING GENERATION EVOSUITE Lebrero Rial, Ignacio Manuel Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
topic_facet	INGENIERIA DEL SOFTWARE TESTEO DE SOFTWARE ANALISIS ESTATICO ANALISIS DINAMICO EJECUCION SIMBOLICA DINAMICA EJECUCION CONCOLICA GENERACION AUTOMATICA DE TESTING EVOSUITE SOFTWARE ENGINEERING SOFTWARE TESTING STATIC ANALISIS DYNAMIC ANALISIS DYNAMIC SYMBOLIC EXECUTION CONCOLIC EXECUTION AUTOMATED TESTING GENERATION EVOSUITE
description	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.
author2	Galeotti, Juan Pablo
author_facet	Galeotti, Juan Pablo Lebrero Rial, Ignacio Manuel
format	Tesis de grado Tesis de grado publishedVersion
author	Lebrero Rial, Ignacio Manuel
author_sort	Lebrero Rial, Ignacio Manuel
title	Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
title_short	Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
title_full	Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
title_fullStr	Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
title_full_unstemmed	Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
title_sort	ejecución simbólica dinámica en evosuite : estudio e implementación
publisher	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate	2020
url	https://hdl.handle.net/20.500.12110/seminario_nCOM000515_LebreroRial
work_keys_str_mv	AT lebrerorialignaciomanuel ejecucionsimbolicadinamicaenevosuiteestudioeimplementacion AT lebrerorialignaciomanuel dynamicsymbolicexecutiononevosuitestudyandimplementation
_version_	1831983617233911808

Ejecución Simbólica Dinámica en Evosuite : estudio e implementación

Ejemplares similares