2. Verifikation, Validierung und Testen - Praktische Informatik ...

Weitere Magazine

Empfehlungen

Info

2. Verifikation, Validierung und Testen In diesem Seminar wird das Thema Verifikation, Validierung und Testen von sicherheitskritischen Systemen behandelt. Diese Ausarbeitung wird sich vor allem auf das Testen von sicherheitskritischer Software konzentrieren. Definition 2.1 (Die sicherheitskritische Software) Die sicherheiskritische Software ist Software, deren Ausfall eine Auswirkung auf die Sicherheit haben könnte oder großen finanziellen Verlust oder sozialen Verlust verursachen könnte [9]. Definition 2.2 (Verifikation) Verifikation ist der Prozess des Überprüfens, der sicherstellt, dass die Ausgabe einer Lebenszyklusphase die durch die vorhergehende Phase spezifizierten Anforderungen erfüllt [9]. Definition 2.3 (Validation) Validation ist der Prozess des Bestätigens, dass die Spezifikation einer Phase oder des Gesamtsystems passend zu und konsistent mit den Anforderungen des Kunden ist [9]. Nach der Definition sind Verifikation und Validierung nicht dasselbe. Der Unterschied zwischen ihnen wurde nach Boehm (1979) so ausgedrückt: „Validierung : Erstellen wir das richtige Produkt ?“ „Verifikation : Erstellen wir das Produkt richtig ?“ Definition 2.4 (Spezifikation) Spezifikation ist ein Test, der die Syntax und Semantik eines bestimmten Bestandteiles beschreibt bzw. eine deklarative Beschreibung, was etwas ist oder tut [9]. Definition 2.5 (Testen) Das Testen ist der Prozess, ein Programm auf systematische Art und Weise auszuführen, um Fehler zu finden [10]. Während die Verifikation den Output einer Entwicklungsphase auf die Korrektheit mit der vorherigen Phase untersucht, wird die Validation benutzt, um das Gesamtsystem mit den Kundenanforderungen zu vergleichen. Die zentrale Tätigkeit bei Validation ist das Testen. Das Gesamtsystem wird bei Ende des Prozess getestet, ob es den Kundenanforderungen entspricht oder nicht. Ein eigenes Kapitel ist dem Testen gewidmet, deswegen wird es an dieser Stelle nicht erklärt. Die zentrale Tätigkeit bei der Verifikation ist der Beweis mit der formalen Verifikation. Dieser Beweis wird nicht in dieser Ausarbeitung behandelt.
Validation Validation Verification Verification Verification Verification Verification Verification Verification Verification Abbildung 2.1 : Entwicklungsphase mit dem formalen Verifikationsnprozess Es gibt zwei grundlegende Strategie für das Testen von Software. Die erste Strategie wird Black-Box-Test genannt. Black-Box-Test bedeutet, dass der Tester nicht die Kenntnisse über das interne Verhalten und die Struktur des Programms hat. Die zweite Strategie wird White-Box-Test genannt. Um diese Test auszuführen, muss der Tester über Kenntnisse der inneren Struktur des Programms verfügen. Die beiden Teststrategien werden hier ausführlich erklärt. 3. Black-Box-Test Hardware Specification Hardware design Hardware implememntation Customer Requirements Specification Integrated systems Softwarer Specifications Softwarer design Software implementation Eingabe Ausgabe
Seite 1 und 2: Verifikation, Validation und Testen
Seite 3: 1. Beispiele für Fehler in Softwar
Seite 7 und 8: } z = week_d(day, month, year); pri
Seite 9 und 10: Auffinden der Äquivalenzklasse : 1
Seite 11 und 12: } } if (i = = 7) { day = 7 ; month
Seite 13 und 14: entwerfen, die direkt neben den Gre
Seite 15 und 16: Jeder Knoten kann den Wert 0 oder 1
Seite 17 und 18: Der nächste Schritt ist Entscheidu
Seite 19 und 20: Blut Blutzuck ersensor Blutparamete
Seite 21 und 22: In jedem der drei Fälle widersprec
Seite 23 und 24: Die Wahrscheinlichkeit, in einem be
Seite 25: 8. Literaturverzeichnis [1] Georg E

2. Verifikation, Validierung und Testen - Praktische Informatik ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?