Interaktive Vervollständigung von Szenariospezifikationen

Szenariobasierte Anforderungsanalyse ist einer der verbreitetsten Ansätze zur Gewinnung und Dokumentation von Anforderungen. Sie erlaubt eine einfache und fokussierte Betrachtung der Aufgaben einer Software, führt aber zu stark fragmentierten und schwer zu vervollständigenden Spezifikationen. In dieser Arbeit wird ein interaktives Verfahren zur Steigerung der Vollständigkeit von Szenariospezifikationen vorgestellt. Basierend auf einem induktiven, heuristischen Lernverfahren für Automaten werden Szenarien, ähnlich einem Puzzle, zu einem Gesamtverhaltensmodell synthetisiert. Während der Synthese werden fehlende Szenarien von Anwendern erfragt und die Gesamtspezifikation auf Basis der gegebenen Antworten vervollständigt.