Test und Verlässlichkeit - SS 12

(G. Kemnitz)

Das Testen und andere Maßnahmen zur Sicherung der Verlässlichkeit von Hard- und Software ...

binden mehr Personalkapazität als alle anderen Entwurfsaufgaben zusammen. Die Chancen, dass Sie später in einem dieser Gebiete arbeiten werden, sind entsprechend groß. Lernziele sind unter anderem:

  • Überwachungsfunktionen,
  • Testauswahltechniken,
  • Fehlerlokalisierung und -beseitigung,
  • prüfgerechter Entwurf,
  • Fehlertoleranz,
  • Modelle zur Abschätzung der Verlässlichkeit und
  • Gesamtkonzepte für die Qualitätssicherung.

Wir werden Hardware und Software parallel betrachten, weil sich viele der Techniken zuerst für Hardware etabliert haben, bevor sie Jahre später in ähnlicher Weise auch für Software übernommen wurden. Denn für Hardware waren die Unterlassungssünden in der Qualitätssicherung schon immer viel teurer.

Zielgruppe: Master Informatik und Interessenten anderer Studiengänge
Credits: (ECTS): 6

Inhalt

  1. Einleitung [Foliensatz 1] [Große Übung zu Foliensatz 1]
    • Modelle im Überblick
    • Wiederholung zur Stochastik
  2. Kontrollfunktionen [Foliensatz 2] [Große Übung zu Foliensatz 2]
    • Kontrolle auf Richtigkeit
    • Kontrolle auf Zulässigkeit
    • Kontrolle der Entwurfsbeschreibung
  3. Grundlagen der Testauswahl [Foliensatz 3] [Große Übung zu Foliensatz 3]
    • Fehlerausschluss nicht möglich
    • Fehlermodellierung
    • Werkzeuge zur Testauswahl
    • Zufallstest
  4. Der Umgang mit Fehlern und Fehlfunktionen [Foliensatz 4]
    • Fehlervermeidung
    • Fehlerbeseitigung
    • Fehlerbehandlung und Fehlertoleranz
    • Umgang mit Ausfällen
  5. Testpraxis [Foliensatz 5]
    • Softwaretest
    • Baugruppentest
    • Selbsttest
    • HW/SW-Systeme

Hausübungen

VL-WocheThemaAufgabenblattAbgabeterminLösung
1Modelle im Überblick[Afg1]11.04.2013 
2Wiederholung Stochastik[Afg2]18.04.2013 
3Wiederholung Stochastik[Afg3]25.04.2013 
4Kontrollfunktionen[Afg4]02.05.2013 
5Kontrollfunktionen[Afg5]16.05.2013 
6Testauswahl[Afg6]30.05.2013 
7Testauswahl[Afg7]06.06.2013 
8Fehlervermeidung[Afg8]13.06.2013 
9Fehlervermeidung[Afg8]20.06.2013 
Teilnehmer und Ergebnisse
Matr.-Nr.A1(13)A2(13)A3(13)A4(14)
293758118912

Für den Erwerb eines Leistungsnachweises für die Zulassung zur Prüfung müssen 42 (40%) der Hausübungspunkte erreicht werden. Darüber hinaus erhöht sich für je 50 Hausübungspunkte die Prüfungsnote um eine Notenstufe, z.B. von 2.0 auf 1.7).

Literatur

  • G. Kemnitz: Test und Verlässlichkeit von Rechnern. Springer, 2007
  • P. Liggesmeyer: Software-Qualität. Spektrum, 2002
  • G. Becker: Softwarezuverlässigkeit. deGryter, 1989
  • K. Heidtmann. Zuverlässigkeitsbewertung technischer Systeme. Teubner, 1997
  • R. Kärger: Diagnose von Computern. Teubner, 1996