Una Revisión sobre la Ejecución Simbólica de Programas Computacionales

El objetivo de este artículo es presentar la ejecución simbólica de programas y su extensión, ejecución simbólica generalizada, para señalar las mejoras necesarias a la ejecución simbólica para que llegue a ser un enfoque práctico de verificación de programas. El análisis de programas permite determ...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Vidal,Cristian L, Schmal,Rodolfo F, Rivero,Sabino, Villarroel,Rodolfo H
Lenguaje:	Spanish / Castilian
Publicado:	Centro de Información Tecnológica 2014
Materias:	verificación de software ejecución simbólica EjeSim ESG
Acceso en línea:	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642014000300014
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:scielo:S0718-07642014000300014
record_format	dspace
spelling	oai:scielo:S0718-076420140003000142014-08-18Una Revisión sobre la Ejecución Simbólica de Programas ComputacionalesVidal,Cristian LSchmal,Rodolfo FRivero,SabinoVillarroel,Rodolfo H verificación de software ejecución simbólica EjeSim ESG El objetivo de este artículo es presentar la ejecución simbólica de programas y su extensión, ejecución simbólica generalizada, para señalar las mejoras necesarias a la ejecución simbólica para que llegue a ser un enfoque práctico de verificación de programas. El análisis de programas permite determinar niveles de correctitud de software o cumplimiento de los requerimientos de usuario. Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos. En este trabajo se describe los conceptos de verificación de programas, la propuesta original de ejecución simbólica junto a sus ventajas y desventajas, y las principales características de ejecución simbólica generalizada. Finalmente, se resumen las principales áreas de investigación que se abren relacionadas con la ejecución simbólica.info:eu-repo/semantics/openAccessCentro de Información TecnológicaInformación tecnológica v.25 n.3 20142014-01-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642014000300014es10.4067/S0718-07642014000300014
institution	Scielo Chile
collection	Scielo Chile
language	Spanish / Castilian
topic	verificación de software ejecución simbólica EjeSim ESG
spellingShingle	verificación de software ejecución simbólica EjeSim ESG Vidal,Cristian L Schmal,Rodolfo F Rivero,Sabino Villarroel,Rodolfo H Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
description	El objetivo de este artículo es presentar la ejecución simbólica de programas y su extensión, ejecución simbólica generalizada, para señalar las mejoras necesarias a la ejecución simbólica para que llegue a ser un enfoque práctico de verificación de programas. El análisis de programas permite determinar niveles de correctitud de software o cumplimiento de los requerimientos de usuario. Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos. En este trabajo se describe los conceptos de verificación de programas, la propuesta original de ejecución simbólica junto a sus ventajas y desventajas, y las principales características de ejecución simbólica generalizada. Finalmente, se resumen las principales áreas de investigación que se abren relacionadas con la ejecución simbólica.
author	Vidal,Cristian L Schmal,Rodolfo F Rivero,Sabino Villarroel,Rodolfo H
author_facet	Vidal,Cristian L Schmal,Rodolfo F Rivero,Sabino Villarroel,Rodolfo H
author_sort	Vidal,Cristian L
title	Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
title_short	Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
title_full	Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
title_fullStr	Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
title_full_unstemmed	Una Revisión sobre la Ejecución Simbólica de Programas Computacionales
title_sort	una revisión sobre la ejecución simbólica de programas computacionales
publisher	Centro de Información Tecnológica
publishDate	2014
url	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642014000300014
work_keys_str_mv	AT vidalcristianl unarevisionsobrelaejecucionsimbolicadeprogramascomputacionales AT schmalrodolfof unarevisionsobrelaejecucionsimbolicadeprogramascomputacionales AT riverosabino unarevisionsobrelaejecucionsimbolicadeprogramascomputacionales AT villarroelrodolfoh unarevisionsobrelaejecucionsimbolicadeprogramascomputacionales
_version_	1714201500451864576

Una Revisión sobre la Ejecución Simbólica de Programas Computacionales

Ejemplares similares