Uni-Logo Institut für Informatik - Arbeitsgruppe Software Engineering

Übungen zu Software-Qualität, WS 2010/2011

Übungsleiter Dipl.-Inf. Wolfgang Runte
Tutoren
Übung
dienstags10:00 - 12:00 Uhr, Raum 69/E18
dienstags12:00 - 14:00 Uhr, Raum 69/E18
Beide Übungen haben den gleichen Inhalt.
Mailingliste Mail an die Liste senden
Achtung: Die Mailingliste nimmt nur Mails mit Absenderadressen an, die selbst als Empfänger angemeldet sind.
An- und Abmeldung geschieht über die Mailinglistenverwaltung.
Das Archiv der Mailingliste ist nur mit Login erreichbar.
Übungsblätter
Nr. Testat bis Thema PDF
1 03.11.2010 Qualitätssicherung, Fehlerklassifikation, Qualitätsbegriffe PDF
2 10.11.2010 Magisches Dreieck, Äquivalenzklassenanalyse und Testfallgenerierung PDF
3 17.11.2010 Zustandsbasiertes Testen, Ursache-Wirkungs-Analyse, Syntaxtest PDF
4 24.11.2010 Anweisungsüberdeckungstest, Zweigüberdeckungstest, Pfadüberdeckungstest PDF
5 01.12.2010 Testen von Schleifen, Bedingungsüberdeckungstest PDF
6 08.12.2010 LCSAJ-Test, McCabe-Überdeckungstest PDF
7 15.12.2010 Defs/Uses-Test PDF
8 05.01.2011 Required-k-Tuples-Test, Datenkontextüberdeckung PDF
9+10 19.01.2011 Werkzeugpräsentation (Werkzeugliste, Termine) PDF
11 26.01.2011 Mutationen-Test, Stilanalyse, Slicing PDF
12 02.02.2011 Anomalieanalyse, Model Checking PDF

Außerdem: Beispiele, Quelltexte, etc. aus den Übungen (geordnet nach Übungsblattnummer).
Software
Dokumentation
Links
Leistungsnachweis Als Leistungsnachweis wird generell ein numerisch und ECTS-benoteter Übungsschein vergeben bzw. eine entsprechende Modulprüfungsleistung bescheinigt. Voraussetzung für den Erwerb des Übungsscheins sowie Grundlage für die Note ist die erfolgreiche Teilnahme an einer Abschlussprüfung.

Um die Zulassung zu dieser Prüfung zu erhalten, ist die erfolgreiche Teilnahme am Übungsbetrieb zur Vorlesung in diesem oder einem der vorhergehenden Semester erforderlich. Als Erfolg gilt hierbei jeweils (pro Aufgabenblatt) 50% der möglichen Punkte bei n-1 der n Übungsblätter.

ECTS-Leistungen müssen nach deutschen Kriterien numerisch benotet werden, die Nummern werden dann nach dem vorgegebenen Schlüssel auf die ECTS-Buchstaben abgebildet.