Testautomatisierung kann einen erheblichen Beitrag zur Aufwandsreduzierung im Programmtest leisten. In diesem Artikel wird ein Verfahren zur automatischen Prüfung der Vorbedingungen und der Soll-Resultate von Testfällen vorgestellt. Es werden hierzu UML-Klassendiagramme der Analyse und die Object Constraint Language (OCL) verwendet. Für die Auswertung der Ausdrücke wurde ein Werkzeug implementiert und bei einem Informationssystem aus der Industrie angewendet und evaluiert.