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 Richtung Wirtschaftsinformatik 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 am Montag, 2. Juni 2008, ab 14.00 Uhr statt.

Die Prüfung umfasst den gesamten Stoff der Vorlesung, inklusive Übungen und geforderte Literatur.

Folgende Hilfsmittel sind erlaubt:
- original hangeschriebene und ohne Hilfsmittel lesbare Zusammenfassung des Stoffes auf 2 A4 Seiten (1 Papier mit beschriebener Vorder- und Rückseite, oder 2 Papiere mit nur einer beschriebenen Seite).
- 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

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

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.

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
Kapitel 8: Qualitätsanforderungen
Kapitel 9: Qualitätsnormen

Weitere Unterlagen zu Kapitel 8: Die zu lesenden Papiere sind in der Zeitschrift  IEEE Software erschienen. Aus der Domäne www.uzh.ch ist der Volltext zugänglich.

Weitere Unterlagen zu Kapitel 9:
•   Artikel in IEEE Software: siehe oben
•   Normen: Können ab 29.4. bei Tobias Reinhard ausgeliehen werden.

Termine:
•   Die Papiere zu Kapitel 8 werden am 5.5. besprochen
•   Die Qualitätsnormen werden am 19.5. besprochen.

Richten Sie sich so ein, dass Sie die Unterlagen entsprechend den Aufträgen in den Kapiteln 8 und 9 bis zu diesen Terminen gelesen haben.