SciELO - Scientific Electronic Library Online

 
vol.25 número3Análisis de Vulnerabilidad de Sistemas de Potencia Mediante Programación BinivelProcesos y Prácticas de Gestión del Conocimiento en Cadenas Productivas de Colombia índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • En proceso de indezaciónCitado por Google
  • No hay articulos similaresSimilares en SciELO
  • En proceso de indezaciónSimilares en Google

Compartir


Información tecnológica

versión On-line ISSN 0718-0764

Resumen

VIDAL, Cristian L; SCHMAL, Rodolfo F; RIVERO, Sabino  y  VILLARROEL, Rodolfo H. Una Revisión sobre la Ejecución Simbólica de Programas Computacionales. Inf. tecnol. [online]. 2014, vol.25, n.3, pp.115-124. ISSN 0718-0764.  http://dx.doi.org/10.4067/S0718-07642014000300014.

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.

Palabras clave : verificación de software; ejecución simbólica; EjeSim; ESG.

        · resumen en Inglés     · texto en Español     · Español ( pdf )