Interaktive Aufbereitung von Anforderungen für den modellbasierten Test

Es wird am Beispiel von Anwendungsfallbeschreibungen dargestellt, wie informelle Anforderungsspezifikationen in testbare Modelle überführt werden können. Die Anforderungen werden interaktiv angereichert und Mehrdeutigkeiten werden aufgelöst, indem Entwurfsinformation berücksichtigt wird. Der metamodellbasierte Ansatz ermöglicht es, das resultierende Modell mit MDA-basierten Testfallgenerierungsverfahren unmittelbar weiterzuverarbeiten.