Ein Computerprogramm, das führt eine Prüfung auf einem anderen Computerprogramm präsentiert die Sequenz, in der die Anweisungen ausgeführt werden und in der Regel die Ergebnisse der Ausführung der Anweisungen.