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. A Review about Symbolic Execution of Computer Programs. Inf. tecnol. [online]. 2014, vol.25, n.3, pp.115-124. ISSN 0718-0764.  http://dx.doi.org/10.4067/S0718-07642014000300014.

The objective of this paper is to present the symbolic execution of programs and its extension, generalized symbolic execution, to indicate the necessary improvements to symbolic execution so that it becomes a practical approach for program verification. Program analysis allows determining levels of software correctness or compliance with the user requirements. There are two approaches for program verification, analytic and dynamic, and, between them, symbolic execution exits which statically analyzes the program source code, and dynamically simulates the execution of executable instructions of programs by means of symbolic input data. In this paper, concepts of program verification, the original proposal of symbolic execution along with their advantages and disadvantages, and the main features of generalized symbolic execution are described. Finally, the main open research areas related to symbolic execution are summarized.

Palabras clave : software verification; symbolic execution; SymExe; GSE.

        · resumen en Español     · texto en Español     · Español ( pdf )