JGenTest: Generador de Test automático para Java a través de ejecución concólica

Autores
Godoy, Javier Ignacio; Czemerinski, Hernán
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.
Trabajos de Cátedra
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
Materia
Ciencias Informáticas
ejecución concólica
Testing tools (e.g., data generators, coverage testing)
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/58177
Acceder
id SEDICI_a7ecfe6532efdbd104cb81061227afe4
oai_identifier_str oai:sedici.unlp.edu.ar:10915/58177
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling JGenTest: Generador de Test automático para Java a través de ejecución concólicaGodoy, Javier IgnacioCzemerinski, HernánCiencias Informáticasejecución concólicaTesting tools (e.g., data generators, coverage testing)Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.Trabajos de CátedraSociedad Argentina de Informática e Investigación Operativa (SADIO)2016-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf285-298http://sedici.unlp.edu.ar/handle/10915/58177spainfo:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/EST-1672.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7615info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/3.0/Creative Commons Attribution 3.0 Unported (CC BY 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:06:36Zoai:sedici.unlp.edu.ar:10915/58177Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:06:37.311SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv JGenTest: Generador de Test automático para Java a través de ejecución concólica
title JGenTest: Generador de Test automático para Java a través de ejecución concólica
spellingShingle JGenTest: Generador de Test automático para Java a través de ejecución concólica
Godoy, Javier Ignacio
Ciencias Informáticas
ejecución concólica
Testing tools (e.g., data generators, coverage testing)
title_short JGenTest: Generador de Test automático para Java a través de ejecución concólica
title_full JGenTest: Generador de Test automático para Java a través de ejecución concólica
title_fullStr JGenTest: Generador de Test automático para Java a través de ejecución concólica
title_full_unstemmed JGenTest: Generador de Test automático para Java a través de ejecución concólica
title_sort JGenTest: Generador de Test automático para Java a través de ejecución concólica
dc.creator.none.fl_str_mv Godoy, Javier Ignacio
Czemerinski, Hernán
author Godoy, Javier Ignacio
author_facet Godoy, Javier Ignacio
Czemerinski, Hernán
author_role author
author2 Czemerinski, Hernán
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
ejecución concólica
Testing tools (e.g., data generators, coverage testing)
topic Ciencias Informáticas
ejecución concólica
Testing tools (e.g., data generators, coverage testing)
dc.description.none.fl_txt_mv Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.
Trabajos de Cátedra
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
description Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.
publishDate 2016
dc.date.none.fl_str_mv 2016-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/58177
url http://sedici.unlp.edu.ar/handle/10915/58177
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/EST-1672.pdf
info:eu-repo/semantics/altIdentifier/issn/2451-7615
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/3.0/
Creative Commons Attribution 3.0 Unported (CC BY 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/3.0/
Creative Commons Attribution 3.0 Unported (CC BY 3.0)
dc.format.none.fl_str_mv application/pdf
285-298
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615937108475904
score 13.070432

Publicaciones similares