Un enregistrement des déclarations de la source et des résultats de branche qui sont produisent lorsqu'un programme d'ordinateur est exécuté à l'aide des valeurs symboliques, plutôt que de réelles, pour les données d'entrée.