Softwarequalitätssicherung
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.
Inhalt
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.
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
Di, 12-14 in O27/2203
Do, 16-18 in O27/2203
Erster Termin: Vorlesung Do, 14.4.2016
Zweiter Termin: Vorlesung Do, 21.4.2016
Danach regelmäßig beide Termine (siehe oben)