Serge Autexier Christoph Lüth Korrekte Software: Grundlagen und Methoden SoSe 2020
0. Übungsblatt
Ausgabe: 23.04.20
Dieses Übungsblatt ist ein PDF-Formular. Bitte in einem PDF-Viewer Ihrer Wahl ausfüllen, abspeichern, und an die Veranstalter mailen.
Gruppe:
Name: Matrikelnummer:
Name: Matrikelnummer:
Name: Matrikelnummer:
0.1 Your Favourite Software Disaster
Wir kommen noch einmal auf prominente Softwarefehler zurück. Gesucht sind hier insbesondere solche Soft- waredisaster, die auf Softwarefehler zurückgehen (falsche Spezifikation oder falsche Implementierung).
Bitte stellen Sie in aller Kürze dar:
1. Was ist passiert?
— Seite 1 von 2 —
0. Übungsblatt Korrekte Software: Grundlagen und Methoden, SoSe 2020
2. Welcher Softwarefehler war der Grund oder Auslöser?
3. Wo genau war der Fehler — in derSpezifikation, in derImplementierung, in derBenutzung, oder sonstiges (Betriebssystem, äußere Umstände, . . . )?
Quellenangaben:
— Seite 2 von 2 —