Um registro das declarações de origem e ramo resultados encontrados quando é executado um programa de computador usando valores simbólicos, ao invés de reais, para dados de entrada.