Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest

Tester stehen oft vor der Aufgabe, Testfälle aus textuellen Anforderungsdokumenten zu erstellen. In der Regel sind diese natürlichsprachlichen Anforderungen nicht formal genug, um daraus automatisch Testfälle zu generieren. In diesem Papier stellen wir ein Werkzeug vor, mit welchem textuelle Anwendungsfallbeschreibungen interaktiv aufbereitet werden können, so dass die anschließende automatisierte Testfallgenerierung möglich wird. Des Weiteren werden die in dem Werkzeug verwendeten Metamodelle beschrieben