Μια εγγραφή των δηλώσεων προέλευσης και υποκατάστημα αποτελέσματα που παρουσιάζονται όταν ένα πρόγραμμα ηλεκτρονικού υπολογιστή εκτελείται χρησιμοποιώντας συμβολική, μάλλον παρά πραγματική, τιμές για τα δεδομένα εισόδου.