Competence Center Verification & Validation

Zuverlässigkeit, Sicherheit, Korrektheit und Robustheit von Software sind insbesondere im Bereich Aerospace und Defence von zentraler Bedeutung. Immer wieder treten Fehler auf, die auf gedanklich-logische Irrtümer in Spezifikation und Implementierung der Software zurückzuführen sind. Deshalb stehen Qualitätsprüfung und die Garantie von Eigenschaften bei Software mehr und mehr im Vordergrund, wie es z.B. bei der Zertifizierung sicherheitsrelevanter Systeme nach DO-178B der Fall ist.

Das Competence Center „Verifikation und Validation“ (kurz „V & V“) beschäftigt sich mit Methoden und Tools aus den beiden Bereichen

  1. Software-Verifikation und
  2. Software-Validation

mit den Zielen:

  1. Fehler und Qualitätsmängel frühzeitig zu entdecken und dadurch
  2. Folgekosten zu vermeiden.

Durch Verifikation wird überprüft, ob eine Software gemäß der Spezifikation korrekt erstellt wurde. Es wird also die Frage beantwortet: „Erstelle ich das Produkt richtig?
Durch Validation wird nachgewiesen, ob die Spezifikation die Anforderungen richtig formalisiert. Es wird damit eine Antwort auf die Frage gegeben: „Erstellen wir das richtige Produkt?“

Im Bereich Verifikation unterscheiden wir zwischen nicht-formaler Verifikation (Auffinden von Spezifikationsverletzungen durch Test und Analyse) und formaler Verifikation (Auffinden von Spezifikationsverletzungen durch formale Korrektheitsbeweise z.B. mittels symbolische Interpretation, Model-Checking und Theorem Proving). In beiden Fällen streben wir möglichst eine Automatisierung der Vorgehensweise an.

Die Schwerpunkte der Arbeit des Competence Centers sind derzeit dynamisches Testen, statische Analysen und formale Techniken der Programmprüfung sowie Fragen des Testmanagements. Bei den regelmäßigen Treffen des Competence Centers werden Erfahrungen ausgetauscht, fundierte Kenntnisse in fortgeschrittenen Testmethoden, ihren theoretischen Grundlagen und ihrer praktischen Anwendung vermittelt und das Wissen aus dem Bereich „Verifikation und Validation“ durch Weiterbildungsmaßnahen stetig erweitert.