Schmidberger, RainerBiermann, SaschaHerzog, OttheinRödiger, Karl-HeinzRonthaler, MarcKoschke, Rainer2019-05-152019-05-152007978-3-88579-206-1https://dl.gi.de/handle/20.500.12116/22513Testautomatisierung 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.deText/Conference Paper1617-5468