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

Weitere Magazine

Empfehlungen

Info

Tätigkeit als Tester oder Programmierer kennt dieser zum Beispiel die häufig aufgetretenen Fehler. Bei dieser Methode ist es schwierig die Vorgehensweise anzugeben, da es ein intuitiver Prozess ist. Prinzipiell legt man eine Liste möglicher Fehler oder fehleranfälliger Situationen an und definiert damit die neuen Testfälle. Beispiele für Error-Guessing : 1. Der Wert 0 als Eingabewert zeigt oft eine fehleranfällige Situation. 2. Bei der Eingabe von Zeichenketten sind Sonderzeichen besonders sorgfältig zu betrachten. 3. Bei der Tabellenverarbeitung stellen kein Eintrag und ein Eintrag oft Sonderfälle dar. 3.4 Ursache-Wirkungs-Graph (Verbesserung von Äquivalenzklassen und Grenzwertanalyse) Äquivalenzklassenbildung und Grenzwertanalyse haben eine gemeinsame Schwäche: sie können keine Kombination von Eingabebedingung überprüfen. Diese Schwäche wird durch den Ursache-Wirkungs-Graph behoben. Ein Ursache-Wirkungs-Graph ist eine formale Sprache, in die eine Spezifikation aus der natürlichen Sprache übersetzt wird. Der Graph entspricht einer Schaltung der Digitallogik. Es sind dabei nur die Operatoren aus der Booleschen Algebra als Vorkenntnisse notwendig. Beispiel für die Notation eines Ursache-Wirkungs-Graphs : Identität NOT a b a b a b AND c c a b OR d
Jeder Knoten kann den Wert 0 oder 1 annehmen. - Die Funktion der Identität besagt, wenn a = 1 ist, dann b= 1 ist, ansonsten b= 0. - Die NOT-Funktion besagt, wenn a = 1 ist, dann b = 0 ist, ansonsten b = 1. - Die AND-Funktion besagt, wenn a = 1 und b = 1 sind, dann c = 1 ist, ansonsten c = 0. - Die OR-Funktion besagt, wenn a oder b oder c = 1 ist, dann d = 1, ansonsten d = 0. Die Testfälle werden wie folgt entwickelt: 1. Der Tester muss die komplexe Spezifikation der Software in kleinere Stücke zerlegen. Zum Beispiel: ein Programm in einzelne Methoden. 2. Der Tester muss Ursachen und Wirkungen der Spezifikation festlegen. Eine Ursache ist eine Eingangsbedingung oder eine Äquivalenzklasse von Eingangsbedingungen. Eine Wirkung ist eine Ausgangsbedingung oder eine Systemtransformation (eine Nachwirkung, die die Eingabe auf den Zustand des Programms oder Systems hat). Ursachen und Wirkungen werden definiert, indem man die Spezifikation Wort für Wort liest und alle Worte, die Ursachen und Wirkungen beschreiben, unterstreicht. 3. Der semantische Inhalt der Spezifikation wird analysiert und in einen booleschen Graphen transformiert. Die Ursache wird in die linke Seite des Graphs geschrieben und die Wirkung in die rechte Seite des Graphen. Man verbindet danach Ursache und Wirkung mit den Operatoren aus der booleschen Algebra (AND, OR, NOT). 4. Der Graph wird mit Kommentaren versehen, die Kombinationen von Ursachen und/oder Wirkungen angeben, die aufgrund kontextabhängiger Beschränkungen nicht möglich sind. 5. Der Graph wird in eine Entscheidungstabelle umgesetzt. Jede Spalte stellt einen Testfall dar. 6. Die Spalten in der Entscheidungstabelle werden in die Testfälle konvertiert. Zum besseren Verständnis eines Ursache-Wirkungs-Graphen wird hier ein Beispiel angeführt. Angenommen, wir haben eine Spezifikation für eine Methode, die dem Benutzer erlaubt, eine Suche nach einem Buchstabe in einer vorhandenen Zeichenkette
Seite 1 und 2: Verifikation, Validation und Testen
Seite 3 und 4: 1. Beispiele für Fehler in Softwar
Seite 5 und 6: Validation Validation Verification
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: entwerfen, die direkt neben den Gre
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 ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?