Methoden und Werkzeuge zur Nachweisführung

Die Methoden und Werkzeuge

Zur Nachweisführung können verschiedene Methoden und Werkzeuge angewandt werden. Diese liefern jedoch unterschiedliche Ergebnisse, so daß sie alternativ bzw. in Kombination einzusetzen sind.

Einige ausgewählte Methoden sind im folgenden aufgeführt:

Inspektionen, Reviews und Walkthroughs
Statische Analysen
Korrektheitsbeweise
Modul-, Integrations- und Abnahmetests
Betriebsbewährtheit
Zuverlässigkeitskennwerte

Grundsätzlich gilt: Nur dokumentiertes Vorgehen bei Erstellung und Prüfung ist geeignet zur Nachweisführung, insbesondere können undokumentierte Tests nicht als Tests anerkannt werden. Eine genaue Beschreibung der Tests Inspektionen, Reviews und Walkthroughs find Sie hier.