Softwarequalitätssicherung

Organisatorisches

Die erste Vorlesung findet am Montag, 22.10.2018 um 10 Uhr in O27-2203 statt.

Die Vorlesung behandelt verschiedene Grundlagen und Techniken zur Sicherung der Qualität. Im Einzelnen sind dies:

  • Testfallgenerierung
  • Testautomatisierung
  • Testpriorisierung
  • Formale Spezifikationssprachen
  • Model Checking
  • Metriken
  • Restfehlerabschätzung
  • Nicht-funktionale Eigenschaften, Sicherheit, Zuverlässigkeit, etc.

Lernziele

Qualitätssicherung ist ein wichtiger Aspekt in der Softwareentwicklung. Die Studierenden kennen verschiedene Grundlagen und Techniken zur Verbesserung der Qualität im Softwareentwicklungsprozess. Dies sind Verfahren aus dem Bereich des Testens, Verfahren aus dem Bereich der formalen Methoden sowie Metriken und spezifische Techniken für nicht-funktionale Eigenschaften. Weiterhin können die Studierenden diese Techniken auswählen und anwenden.

Einordnung des Moduls

  • Informatik, M.Sc., Kernfach Praktische und Angewandte Informatik
  • Medieninformatik, M.Sc., Kernfach Praktische und Angewandte Informatik
  • Software-Engineering, M.Sc., Kernfach Software Engineering
  • Informationssystemtechnik, M.Sc., Wahlmodul
  • Informatik, Lehramt, Wahlmodul
  • Informatik, M.Sc., Vertiefungsfach Software-Engineering und Compilerbau
  • Medieninformatik, M.Sc., Vertiefungsfach Software-Engineering und Compilerbau
  • Software-Engineering, M.Sc., Vertiefungsfach Advanced Software Engineering

Termin

Vorlesung: Mo, 10-12 in O27/2203

Übung: Mi, 16-18 in O27/2203