Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Safe.Spec

Qualitätssicherung von Verhaltensanforderungen (2017-2019)

 

Ziel des Projekts Safe.Spec ist die werkzeuggestützte Qualitätssicherung von Verhaltensanforderungen. Hierzu sollen Anwender bei der Formalisierung von Szenarien mittels eines dediziert entworfenen Musterkatalogs als auch von Verifikationsbedingungen mittels natursprachlicher Grammatiken unterstützt werden. Neben der Analyse einzelner Szenarien, betrachten wir die Komposition von Szenarien zu einem Modell der gesamten Anforderungsspezifikation, das gegen systemweite Verifikationsbedingungen geprüft werden kann. Ungenauigkeiten und Fehler in der Anforderungsspezifikation sind oft Ursachen für Softwarefehler und führen zu erhöhten Kosten bei der Entwicklung und im Betrieb der Software. In Safe.Spec sollen daher Anwender das Systemverhalten exemplarisch formalisieren, indem sie jedes Szenario des Systems z.B. als Sequenzdiagramm beschreiben. Die Formalisierung soll durch einen dediziert entworfenen Musterkatalog unterstützt werden. Durch den Einsatz dieser Formalisierungsmuster werden Ungenauigkeiten und Fehler in einzelnen Anforderungen ermittelt.


Es werden Algorithmen entwickelt, um die einzelnen formalen Repräsentationen der Szenarien zu einem Modell der gesamten Anforderungsspezifikation zu komponieren und im Zusammenspiel von mehreren Szenarien inkonsistente Anforderungen zu erkennen. Weiterhin kann das Modell der gesamten Anforderungsspezifikation auch gegen systemweite Verifikationsbedingungen geprüft werden. Dazu werden in Safe.Spec (1) die Verifikationsbedingungen mit natürlich-sprachlicher Grammatik aus dem Anforderungsdokument formalisiert und (2) das Modell der gesamten Anforderungsspezifikation in die Eingabesprachen existierender Verifikationswerkzeuge übersetzt und gegen Verifikationsbedingungen geprüft.

 

Der gesamte Ansatz ermöglicht die Analyse individueller Szenarien, deren Zusammenspiel sowie die Korrektheit bezüglich der Verifikationsbedingungen. Somit leistet Safe.Spec einen wichtigen Beitrag bei der Qualitätssicherung von Anforderungsdokumenten und beim Erstellen qualitativ hochwertiger Anforderungsspezifikationen.
 

Beteiligte Personen:

Kooperationspartner:

 

 Safe.Spec wird durch das BMBF unter der Fördernummer 01IS16027 gefördert.