Übungen zu Software-Qualität, WS 2012/2013

Übungsleitung

Tutoren

Übung

dienstags	10:30 - 12:00 Uhr (s.t.),	Raum 69/E18
dienstags	12:00 - 13:30 Uhr (s.t.),	Raum 69/E18

Beide Übungen haben den gleichen Inhalt.

Sprechstunden

montags	14:00 - 15:00 Uhr (s.t.),		Raum 31/307
dienstags	14:00 - 15:00 Uhr (s.t.),		Raum 31/317
dienstags	15:00 - 16:00 Uhr (s.t.),	Elke Pulvermüller,	Raum 31/318
mittwochs	11:00 - 12:00 Uhr (s.t.),		Raum 31/317
freitags	11:00 - 12:00 Uhr (s.t.),		Raum 31/317

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
1	26.10.2012	Qualitätssicherung, Fehlerklassifikation, Qualitätsbegriffe
2	02.11.2012	Magisches Dreieck, Äquivalenzklassenanalyse und Testfallgenerierung
3	09.11.2012	Zustandsbasiertes Testen, Ursache-Wirkungs-Analyse
4	16.11.2012	Syntaxtest, Anweisungsüberdeckungstest, Zweigüberdeckungstest, Pfadüberdeckungstest
5	23.11.2012	Testen von Schleifen, Bedingungsüberdeckungstest
6	30.11.2012	LCSAJ-Test, McCabe-Überdeckungstest
7	07.12.2012	Defs/Uses-Test
8	14.12.2012	Required-k-Tuples-Test, Datenkontextüberdeckung
9/10	11.01.2013	Werkzeug-Präsentation (Vortrags-Reihenfolge)
11	18.01.2013	Mutationen-Test, Stilanalyse, Slicing
12	25.01.2013	Anomalieanalyse, Model Checking

Außerdem: Das Übungsverzeichnis mit Beispielen, Vorlagen, Quelltexten, etc. aus den Übungen (geordnet nach Übungsblattnummer).

Software

Java Development Kit (JDK) - Java Platform, Standard Edition (Java SE) (Dokumentation und Tutorials, Archiv)
Eclipse - Entwicklungsumgebung
NetBeans - Entwicklungsumgebung
JUnit - Modultest in Java
Dia - Diagramm-Editor (Dia für Windows, zusätzliche Objektschablonen)
PuTTY - Telnet/SSH-Client
FileZilla - FTP/SFTP-Client
XMins - X-Server für Windows (Anleitung)

Dokumentation

Download JUnit 4.10 (Kent Beck bei github.com)
JUnit Wiki (github.com)
JUnit 4 Tutorial von Anthony Anjorin an der TU Darmstadt (PDF)
JUnit bei Sourceforge.net (bis JUnit 4.5), API (Javadoc), FAQ
JUnit 4.0 im Vergleich zu JUnit 3.8.1 von Frank Westphal
JUnit Cookbook von Kent Beck, Erich Gamma
JUnit Test Infected: Programmers Love Writing Tests (JUnit 3.8.x)
JUnit A Cook's Tour (JUnit 3.8.x)

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.