BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0 WWW www.uni-wuppertal.de
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Fachgruppe Mathematik und Informatik
Programming by Contract
WS 2005/2006 – ¨ Ubungsblatt 4 Ausgabe: 17. November 2005
Abgabe: bis sp¨atestens 24. November 2005 in der Vorlesung
oder per email an c.markmann@uni-wuppertal.de
Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik
e-mail: Hans-Juergen.Buhl@math.uni-wuppertal.de WWW: http://www.math.uni-wuppertal.de/∼buhl
Aufgabe 1. Ein sahniger Brocken
Erl¨autern Sie, die Mißachtung welcher Software-G¨utekriterien zum Pro- blem ”Ein sahniger Brocken“ (Seite 5 der Materialsammlung) gef¨uhrt hat (Erstellung einer Relevanz-Matrix).
Welche der Anti-Pattern der letzten beiden ¨Ubungsbl¨atter kamen hier zum Zuge?
Aufgabe 2. USV-SW legt Server lahm
Beantworten Sie die gleichen Fragen wie in Aufgabe 1 f¨ur das Problem
”USV-Software legt Server lahm“ (Seite 5 der Materialsammlung).
Aufgabe 3. Chaos an Hannovers Geldautomaten Beurteilen Sie analog den Fall
”Chaos an Hannovers Geldautomaten“
(Seite 6 der Materialsammlung).
Aufgabe 4. Therac 25
Welche konstruktiven Maßnahmen in der Design- und Implementie- rungsphase der
”Therac 25“-Software h¨atten das auf Seite 6 der Mate- rialsammlung geschilderte Problem vermeiden helfen k¨onnen?
Aufgabe 5. RISKS Digest
Suchen Sie im Archiv des
”RISKS Digest“ nach dem
”great bankcard network breakdown“ und beantworten Sie auch f¨ur diesen Fall einer
”Computer-Katastrophe“ die Fragen von Aufgabe 1 und Aufgabe 4.
1