Un registro de las declaraciones de la fuente y los resultados de la rama que se encuentran cuando se ejecuta un programa de ordenador utilizando valores más simbólicos que real, para datos de entrada.