Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen

Wir haben in diesem Beitrag einen Ansatz zur Formalisierung der UML-Anwendungsfallsbeschreibungen vorgestellt, um Anwendungsfälle effektiv für Testzwecke einsetzen zu können. Dabei werden die textuellen Beschreibungen der Vor- und Nachbedingungen mit visuellen Kontrakten formalisiert. Die visuellen Kontrakte beschreiben die Änderungen bezüglich der fachlichen Daten nach der Ausführung des Anwendungsfalls. Mit visuellen Kontrakten können während der Testfallspezifikation Testeingaben generiert und während der Testausführung Testausgaben überprüft werden. Für visuelle Kontrakte wurden Werkzeuge entwickelt, die die Einbindung der visuellen Kontrakte in den Entwicklungs- und Testprozess ermöglichen.