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

Weitere Magazine

Empfehlungen

Info

Inhaltsverzeichnis 1 Beispiele für Fehler in Software............................................................. 3 2 Verifikation, Validierung und Testen ................................................... 4 3 Black-Box-Test........................................................................................ 5 3.1 Äquivalenzklassenbildung.............................................................................. 6 3.2 Grenzwertanalyse ............................................................................................ 10 3.3 Test spezieller Werte Grenzwertanalyse ................................................... 13 3.4 Ursache-Wirkungs-Graph............................................................................. 14 4.White-Box-Test ............................................………………………….. 18 4.1 Beweis durch Widersprüche........................................................................ 18 5. Black-Box-Test gegen White-Box-Test……………………………… 21 6. Testprinzipien........................................................................................ 22 7. Zusammenfassung................................................................................. 24 8. Literaturverzeichnis.............................................................................. 25
1. Beispiele für Fehler in Software Im Bereich der Medizin gibt es auf Grund von Softwarefehlern viele Todesfälle. Mehrere Patienten starben, nachdem sie wegen Krebs mit Therac-25 bestrahlt wurden. Wegen einer zu hohen Strahlendosis wurden ihre Zellen nachhaltig geschädigt. Das medizinische Gerät Therac-25 ist ein linearer Teilchenbeschleuniger zur Strahlentherapie für die krebskranken Patienten. Insgesamt sind 11 Therac-25 Geräte in Kanada und USA installiert. Das Bild zeigt die Software von Therac-25. Abbildung 1.1 : Darstellung des Benutzer-Interfaces Bei Fehlfunktionen wurden Fehlermeldungen auf dem Bildschirm dargestellt. Der häufigste Fehler war „Malfunction 54“. Diese Meldung ist sehr kryptisch und in der Dokumentation wurde „Malfunction 54“ kurz als dose input 2 beschrieben. Da Fehler sehr oft auftraten, wurden diese Fehler als nicht schlimm von den Operatoren betrachtet. Die Operatoren setzten damit die Behandlung fort. Sie wussten nicht, dass die nichts sagende Fehlermeldung „Malfunction 54“ bedeutete, dass die Strahlendosis, mit der die Patienten bestrahlt wurden entweder zu hoch oder zu niedrig war. Als schließlich das Therac-25 System näher untersucht wurde, stellte es sich heraus, dass die Schwachstellen und die Fehler an der Software lagen. Fazit : Die Software der Maschine vor allem die kritischen Komponenten müssen ausreichend getestet werden und die Fehlermeldungen müssen verständlich und lesbar dokumentiert werden.
Seite 1: Verifikation, Validation und Testen
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 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?