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

Weitere Magazine

Empfehlungen

Info

7. Zusammenfassung Black-Box-Test und White-Box-Test werden zur Validation einer Software eingesetzt. Durch Black-Box-Test und White-Box-Test wird untersucht, ob eine Software der Spezifikation und dem Kundenwunsch entspricht oder nicht. Mit Black-Box-Test wird vor allem untersucht, ob die Software seiner Spezifikation entspricht. Es gibt drei wichtigen Methoden: Äquivalenzklassenbildung, Grenzwertanalyse und Test spezieller Werte. Bei der Äquivalenzklassenbildung werden die Eingabedaten eines Programms in eine endliche Anzahl von Äquivalenzklassen unterteilt. Mit Hilfe der Grenzwertanalyse werden Werte an den Grenzen von Äquivalenzklassen untersucht. Äquivalenzklassenbildung und Grenzwertanalyse haben einen gemeinsamen Nachteil. Sie können keine Wechselwirkung bzw. Zusammenhänge zwischen Eingabedaten untersuchen. Mit Hilfe der Ursache- Wirkungs-Graphen wird dieser Nachteil behoben. Ein Ursache-Wirkungs-Graph ist eine formale Sprache, in die eine Spezifikation aus der natürlichen Sprache übersetzt wird. Äquivalenzklassenbildung und Grenzwertanalyse können entweder als eine Schaltung der Digitallogik oder als einen kombinatorischen logischen Graph dargestellt werden. Mit White-Box-Tests wird sichergestellt, dass das Programm keinen ungetesteten Code enthält. Bei dieser Methode wird jeder Programmpfad mindestens einmal durchlaufen. Für die Erstellung der effektiven Testfälle zur Fehlerabdeckung ist die Kombination von Black-Box-Test und White-Box-Test zu empfehlen, da jede Methode jeweils Nachteile und Vorteile hat. Man nennt diese Kombination Broken-Box-Test oder Grey-Box-Test. Die oben beschriebenen Verfahren erhöhen die Qualität und die Sicherheit der entwickelten Software. Absolute Sicherheit kann keines der Verfahren garantieren. Prüfe die Brücke, die dich tragen soll Sprichwort
8. Literaturverzeichnis [1] Georg Erwin Thaller. Verifikation und Validation. Vieweg, 1994. [2] Ian Sommerville. Software Engineering. Addison-Wesley, 2000. [3] Glenford J.Myers. Methodisches Testen von Programmen.Oldenbourg,1991. [4] Neil Storey. Safety-Critical Computer Systems. Prentince Hall, 1996. [5] Edward Kit. Sofware Testing in The Real World. Addison-Wesley, 1995. [6] Ilene Burnstein. Practical Software Testing. Springer, 2003. [7] Helmurt Balzert. Lehrbuch Grundlagen der Informatik. Spektrum, 1999. [8] Hauptseminar Prof. Huckle : Therac 25 http://www5.in.tum.de/lehre/seminar/semsoft/unterlagen_02/therac/website [9] Torsten Bresser. Validieren und Verifikation (inkl. Testen, Model-Checking und Theorem Proving). Seminar, 2004. [10] Friederike Nickl. Qualitätssicherung und Testen. sepis.
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 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: Die Wahrscheinlichkeit, in einem be

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

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?