Ejecución simbólica
¿Qué es la ejecución simbólica?
La ejecución simbólica es una técnica de prueba de software que es útil para ayudar en la generación de datos de prueba y para probar la calidad del programa.
Pasos para utilizar la ejecución simbólica:
La ejecución requiere una selección de caminos que son ejercitados por un conjunto de valores de datos. Un programa, que se ejecuta utilizando datos reales, da como resultado la salida de una serie de valores.
En la ejecución simbólica, los datos se reemplazan por valores simbólicos con un conjunto de expresiones, una expresión por variable de salida.
El enfoque común para la ejecución simbólica es realizar un análisis del programa, lo que da como resultado la creación de un diagrama de flujo.
El diagrama de flujo identifica los puntos de decisión y las asignaciones asociadas con cada flujo. Al atravesar el diagrama de flujo desde un punto de entrada, se produce una lista de declaraciones de asignación y predicados de rama.
Problemas con la ejecución simbólica:
La ejecución simbólica no puede continuar si se conoce el número de iteraciones en el ciclo.
El segundo problema es la invocación de cualquier código fuera de línea o llamadas de módulo.
La ejecución simbólica no se puede utilizar con matrices.
La ejecución simbólica no puede identificar caminos inviables.
Aplicación de ejecución simbólica:
Comprobación del dominio de ruta
Generación de datos de prueba
Análisis de partición
Depuración simbólica