Methoden der Software-Qualitätssicherung: DDF, Verifikation & Inspektion

Funktionale Zerlegungsdiagramme (DDF)

DDFs sind Techniken zur Darstellung der Zerlegung der Funktionen eines Systems. Ihr Ziel ist es, die Hierarchie der Systemprozesse auf verschiedenen Abstraktionsebenen darzustellen. Dabei wird eine High-Level-Funktion in Low-Level-Funktionen zerlegt.

Sie werden auch verwendet, um zusätzliche Informationen, wie beispielsweise die Unternehmensstruktur, darzustellen.

Arten von Funktionalen Zerlegungsdiagrammen

Wir unterscheiden drei Arten von DDFs:

• Funktionen des Systems auf verschiedenen Abstraktionsebenen, jedoch ohne Berücksichtigung der Verkehrsströme zwischen ihnen.
• Die Funktionen, Input- und Output-Daten.
• Funktionen und Flüsse (Inputs/Outputs), die bestimmten, durch mathematische Formeln definierten Regeln folgen. Diese werden oft durch CASE-Tools überprüft.

Formale Spezifikationsprüfung und Kontrollen

Die Revision einer formalen Spezifikation umfasst vier Hauptaspekte:

• Vollständigkeit: Überprüfung, ob die Modelle vollständig sind.
• Integrität: Überprüfung, dass keine Widersprüche zwischen den verschiedenen Abstraktionsebenen bestehen.
• Genauigkeit (Korrektheit): Sicherstellung, dass die Modelle die Anforderungen der Nutzer erfüllen.
• Qualität: Bewertung des Stils und der einfachen Wartbarkeit der erstellten Modelle.

Wenn eine formale Überprüfung notwendig ist, sollte eine Checkliste verwendet werden, um die Teilnehmer des Treffens zu unterstützen. Bei der Verwendung eines CASE-Tools sind viele dieser Funktionen automatisiert.

Software-Verifikation und Validierung

Definition der Software-Verifikation

Die Software-Verifikation besteht aus einer Reihe von Verfahren, Aktivitäten, Techniken und Werkzeugen, die parallel zur Software-Entwicklung eingesetzt werden, um sicherzustellen, dass das Softwareprodukt das ursprünglich definierte Problem löst.

Dies erfordert die Definition eines Zyklus der Validierung und Verifizierung zu Beginn des Projekts, um diese Tätigkeiten festzulegen.

Ziele der Verifikation und Validierung

• Mängel so früh wie möglich im Software-Lebenszyklus erkennen und korrigieren.
• Das Risiko reduzieren.
• Die Qualität und Zuverlässigkeit verbessern.
• Die Sichtbarkeit des Management-Entwicklungsprozesses verbessern.
• Vorgeschlagene Änderungen und deren Folgen schnell beurteilen.

Unterscheidung zwischen Validierung und Verifikation

Wir können die Aktivitäten der Verifikation und Validierung wie folgt unterscheiden:

• Validierung: Das Ziel ist es, die Richtigkeit des Endprodukts in Bezug auf die Bedürfnisse der Nutzer zu bestimmen. Die Haupttechnik hierfür ist das Software-Testen.
• Verifikation (Prüfung): Das Ziel ist es, die Konsistenz und Korrektheit zwischen den Phasen des Entwicklungszyklus eines Projekts zu demonstrieren. Die wichtigsten Verifikations-Techniken sind Bewertungen und Prüfungen (Inspektionen).

Software-Inspektion

Die Software-Inspektion ist eine formale Bewertungstechnik, bei der Software-Anforderungen, Design, Programmierung oder andere Artefakte im Detail von einer Person oder einer Gruppe von Personen (die nicht der Autor sind) diskutiert werden, um Fehler, Nichtkonformitäten mit den Durchführungsbestimmungen und andere Probleme zu erkennen.

Die Inspektion liefert einen sofortigen Hinweis auf die Qualität.

Regeln für eine erfolgreiche Inspektion

Für eine erfolgreiche Inspektion müssen bestimmte Regeln befolgt werden:

1. Die Kontrollen werden im Planungs- und Entwicklungsprozess durchgeführt.
2. Es sollten alle möglichen Fehler geprüft werden.
3. Die Prüfung sollte alle Managementebenen des Unternehmens einbeziehen.
4. Die Kontrollen sollten streng in Etappen durchgeführt werden.
5. Die Sitzungszeit sollte nicht länger als zwei Stunden dauern.
6. Die Inspektionen sollten von erfahrenen Moderatoren geleitet werden, um ihre Aufgabe effektiv zu erfüllen.
7. Den Mitgliedern des Inspektionsteams sollten Rollen zugewiesen werden, um die Effektivität zu erhöhen.
8. Es sollten Checklisten verwendet werden, welche die Aufgaben der Mitglieder definieren.
9. Das Produkt muss mit maximaler Wirksamkeit bei der Entdeckung von Mängeln überprüft werden.
10. Die Statistiken müssen für die weitere Analyse erfasst werden.