1 Identifikation/Definition der Methode
/
Wallmüller,
90 / Kapitel 4, S. 162-163, statische Analyse
/
ISO
IEC 9126, 91 / Kapitel 4, Definition von Qualitätsmerkmalen
2 Kurzcharakteristik der Methode
Ziel und Zweck
Ein Ziel der "statischen Analyse" (STAT) ist die Identifikation vorhandener Fehler bzw. fehlerträchtiger Situationen. Ein weiteres Ziel besteht darin, Qualität meßbar zu machen. Die Methode leistet damit einen Beitrag zur Erfüllung der Grundforderung, daß Qualität nachweisbar sein muß.
Funktioneller Ablauf
Das Grundprinzip der statischen Analyse besteht darin, daß ein Prüfgegenstand, der nach einem vorgegebenen Formalismus aufgebaut ist, gelesen wird. Hierbei werden entweder sofort Fehler bzw. fehlerträchtige Situationen festgestellt bzw. Informationen abgeleitet, die nach Ende des Lesevorgangs Rückschlüsse auf Fehler bzw. fehlerträchtige Situationen zulassen.
Fehler bzw. fehlerträchtige Situationen sind beispielsweise
Ebenso werden während des Lesevorgangs Maßzahlen quantifiziert. Mit den Maßzahlen erhält man eine Möglichkeit, Qualitätsmerkmale zu messen. Allerdings müssen auch die gemessenen Werte dahingehend beurteilt werden, ob sie zufriedenstellend sind (/ ISO IEC 9126, 91 /). Eine Übersicht über mögliche Maßzahlen findet man in / IEEE 982.2, 88 /.
3 Grenzen des Methodeneinsatzes
Die Statische Analyse ist nur für formalisierte Prüfgegenstände anwendbar. Desweiteren ist die Anwendung der statischen Analyse nur mit entsprechender Werkzeugunterstützung sinnvoll.
4 Detaillierung der Methodenzuordnung
4.1 STAT in Aktivität QS 4.1 "Prüfbarkeit feststellen"
Die Methode STAT wird zur Feststellung der Prüfbarkeit von Prüfgegenständen angewendet, die nach einem vorgegebenen Formalismus aufgebaut sind. Sie deckt die Feststellung der Prüfbarkeit nur in Kombination mit der Methode REV vollständig ab. Allerdings wird bei vorausgegangener statischer Analyse die Menge der in einem Review zu berücksichtigenden Aspekte wesentlich geringer ausfallen.
4.2 STAT in Aktivität QS 4.2 "Produkt inhaltlich prüfen"
Die Methode STAT wird zur Prüfung der folgenden Prüfgegenstände angewendet:
Für die genannten Prüfgegenstände deckt die Methode STAT die Prüfung nur in Kombination mit weiteren Methoden vollständig ab. Für alle Prüfgegenstände wird ergänzend die Anwendung der Methode REV gefordert. Allerdings wird bei vorausgegangener statischer Analyse die Menge der in einem Review zu berücksichtigenden Aspekte wesentlich geringer ausfallen.
Sofern Inhalte des Prüfgegenstandes nach einem vorgegebenen Formalismus aufgebaut sind, wird für die Prüfgegenstände Anwenderforderungen, Technische Anforderungen, Systemarchitektur, SW-Architektur und SW-Entwurf ergänzend die Anwendung der Methode T gefordert.
Im Falle hoher Zuverlässigkeitsanforderungen wird für die Prüfgegenstände Anwenderforderungen und Technische Anforderungen ergänzend die Anwendung der Methode SIMU gefordert.
5 Schnittstellen
- entfällt -
6 Weiterführende Literatur
/
IEEE
982.2, 88 /,
/
ISO
IEC 9126, 91 /,
/
Myers,
91 /,
/
Reynolds,
76 /,
/
Sneed,
88 /,
/
Wallmüller,
90 /,
/
Yeh,
77 /