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

Die Hauptaufgabe der Anforderungsanalyse ist es, Kundenwunsche zu verstehen und sie in einer Form aufzunehmen, so dass weitere Beteiligte im Software-Entwicklungsprozess diese fur die anschliesenden Entwicklungsaktivitaten nutzen konnen. Dafur mussen die funktionalen und nichtfunktionalen Anforderungen klar und verstandlich formuliert sein. Die Formulierung muss auserdem eindeutig und einheitlich sein, damit die Anforderungen des Kunden von Entwicklern richtig verstanden werden. Heutzutage geschieht die Aufnahme der Kundenanforderungen meist in Form einer informalen Prosabeschreibung, die, wenn nicht sorgfaltig geschrieben, zu Missverstandnissen fuhren kann. Besonders wichtig ist die Qualitat der Anforderungsspezifikation, wenn daraus weitere Softwareartefakte abgeleitet werden sollen, wie z.B. Entwurfsmodelle oder Testfalle. Je „formaler“ die Anforderungsspezifikation geschrieben wird, desto besser sind die Kommunikation zwischen den Anforderungsanalysten, den Entwicklern und den Testern und die Wiederverwendung der Anforderungsspezifikation in den weiteren Entwicklungsphasen.