Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

SZS - Übungen zu Grundlagen der Softwarezuverlässigkeit

 

Übungsleitung: Michael Luttenberger 
Zeit und Ort: Fr 14:00-15:30 (14-tägig) (in V38.03)
Termine 05: 28.10, 18.11, 2.12, 16.12
Termine 06: 13.01, 03.02, 17.02
Alte Klausuren: [Winter 03]
[Sommer 04]
[Sommer 05]
Klausur WS05/06: [Musterlösung] (p.s.: Homing-Sequence (s. Folie 167) != UIO (s. Folie 173) ;)
Übungsblätter: Blatt 1: [PDF][PS][Programmgerüst] [Eclipse-Workspace für die erste Übungsstunde]
Blatt 2: [PDF][PS] [Programmgerüst] [Installationsanweisungen] [Lösung][Lösung zu A2.4]
Blatt 3: [PDF] [Lösung]
Blatt 4: [PDF][A4_1-1.jar][A4_1-2.jar][A4_3.jar][Lösung]
Die jars lassen sich alle über die Shell mittels 'java -jar a4_1-1.jar', etc starten
Blatt 5: [PDF][Archiv][Lösung][SantaRobot1.smv - Lsg.][SantaRobot2.smv - Lsg.]
SMV könnnen Sie HIER herunterladen.
Blatt 6: [PDF][Programmgerüst A6.3][Lsg.][bddlib_ops.cc - Lsg.]
Blatt 7: [PDF][Lsg.]
Hinweis zu den Lösungen: Diese können durchaus Fehler enthalten, im Zweifelsfall (und nach ausreichender Prüfung) also email an mich.
SMV Einführung: [SMV Kurzfassung][Fahrstuhl-Beispiel][fahrstuhl.smv - Lsg.]
Links: Java-IDE Ecplipse
Freie Java-Literatur: Thinking in Java
Java Tutorials
EMMA: freies Code-Coverage Tool