Lernziele der Vorlesung

Die Lehrveranstaltung stellt Ihnen die wichtigen Techniken, Methoden, und Prinzipien umfassend dar, um die erfolgreiche Qualitätssicherung der Software durchführen zu können. Im Überblick:

• Beherrschung spezieller formaler, informaler und stochastischer Techniken zur Software-Qualitätssicherung
• Kenntnisse zur Anwendung einschlägiger Analyse- bzw. Testtechniken in der Praxis

Inhalt der Vorlesung

• Dynamisches Testen
• Statische Analysetechniken
• Messen
• Datenflussanomalieanalyse
• Review- und Inspektionstechniken
• Formale Techniken

Es werden aktuelle Techniken zur Software-Qualitätssicherung dargestellt.

Gliederung dieser Seite

• Literatur zur Vorlesung
  Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
• Materialien zur Vorlesung
  Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben).
• Informationen zur Klausur
  Auf dieser Seite finden Sie Termine und Hinweise zur Klausur.

Organisatorisches

Dozent

Prof. Dr. Peter Liggesmeyer
Raum 32/425
Telefon: (0631) 205-3328
Sprechstunde: nach Vereinbarung

Veranstaltungen

Die Veranstaltung SQS besteht aus 2 SWS Vorlesung und 1 SWS Übung.

• Vorlesung:
  Umfang 2 SWS - Termin wöchentlich:
  Mo, 15:30 - 17:00 Uhr, Raum 48-462
  Die erste Vorlesung ist am 20. Oktober 2008.
• Übungen:
  Umfang 1 SWS - Termin alle zwei Wochen:
  Do, 11:45 - 13:15 Uhr, Raum 46-260
  Der Übungsbeginn wird in der ersten Vorlesung bekannt gegeben.

Vorlesungsbetreuung

Zhensheng Guo
Raum: 32/427
Telefon: (0631) 205-3957
Sprechstunde: nach Vereinbarung

Einträge im KIS-System

• Vorlesung
• Übung