Software Qualität

Die Vorlesung behandelt ausgewählte Kapitel aus dem Gebiet der Software- Qualität. Der Stoff ist in zwei Teile gegliedert:
I. Software prüfen und korrigieren
II. Software-Qualität planen, messen und verbessern

Die Studierenden erwerben vertiefte Kenntnisse und Fähigkeiten zur Analyse, Beurteilung und Verbesserung von Software-Qualität und - auf dieser Grundlage - zur Entwicklung qualitativ hochwertiger Software.

Bei Bestehen des Leistungsnachweises erhalten sie 3 Punkte.

Weitere Informationen auf VVZ.

Diese Vorlesung richtet sich an folgende Studierendengruppen:

Studierende BSc Informatik in allen Studienrichtungen sowie Studierende mit Informatik als Nebenfach, die sich im Gebiet Software Engineering vertiefen wollen (ab dem 4. Semester).

Studierende MSc Informatik in allen Studienrichtungen. Für die Studienrichtung Softwaresysteme wird der Besuch dieser Vorlesung nachdrücklich empfohlen, sofern diese nicht bereits im Bachelorstudium absolviert worden ist.

Studierende Diplom in Informatik Richtung Wirtschaftsinformatik ab 6. Semester.

Die schriftliche Klausur findet ausnahmsweise am Montag, 25. Mai 2009, ab 14.00 Uhr statt, da der reguläre Klausurtermin vom 1.6. auf einen Feiertag fällt.

Die Klausur umfasst den gesamten Stoff der Vorlesung, inklusive Übungen und geforderte Literatur.

Folgende Hilfsmittel sind an der Klausur erlaubt:
- Zwei Seiten im Format A4 mit selbst verfassten, hangeschriebenen und ohne weitere Hilfsmittel lesbaren Notizen (1 Blatt mit beschriebener Vorder- und Rückseite, oder zwei Blätter mit jeweils nur einer beschriebenen Seite).
- Für Studierende deren Muttersprache nicht Deutsch ist: ein Wörterbuch, ohne Notizen.

Vorkenntnisse in Software Engineering im Umfang, wie sie in der Vorlesung Software Engineering und Informatik II (nur Teil a: Modellierung) vermittelt werden, werden vorausgesetzt.

Montag 14.00 - 15.45 Uhr
Raum: BIN 2.A.10

Beginn: Montag, 16.2.2009

Dozent: Prof. Dr. Martin Glinz
Assistent: Reinhard Stoiber

Es werden drei Übungen ausgegeben, deren Bearbeitung Bestandteil des Leistungsnachweises ist.

Es steht jeweils eine Woche für das Lösen der Übungen zur Verfügung. Die Übungsbesprechungen werden in die Vorlesung integriert; es gibt keine separate Übungsstunde.

Weitere Informationen zu den Übungen finden Sie hier.

Kapitel 1: Einführung
Kapitel 2: Model Checking
Kapitel 3: Qualität bei evolutionärer Entwicklung
Kapitel 4: Fortgeschrittene Testverfahren
Kapitel 5: Debugging
Kapitel 6: Qualität definieren und erreichen
Kapitel 7: Prozessqualität
  - Erfahrungen mit CMMI-basierter Prozessverbesserung 
Kapitel 8: Qualitätsanforderungen
Kapitel 9: Verlässlichkeit
Kapitel 10: Qualitätsnormen