Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung.

Skript

Hier werden im Verlauf der Vorlesung kapitelweise die Folien zur Vorlesung stehen. Die Kapitel werden im PDF und Postscript (PS)-Format angeboten.

Wichtig: Die Folien sollen das Verständnis der Vorlesung unterstützen. Sie sind nicht als Ersatz der Vorlesung geeignet. Um tieferen Einblick in die behandelten Themen zu erlangen und speziell den Zusammenhang zwischen den einzelnen Themen zu erkennen, wird die Anwesenheit in den Vorlesungen empfohlen. Weiterführende Literatur zu den behandelten Themen finden sich auf unserer Literatur-Seite.

Zum Betrachten von PDF-Dateien können Sie den kostenlosen Adobe Reader verwenden. Für Postscript-Dateien kann Ghostview verwendet werden.

Die hier angebotenen PDF-Dateien sind in der Regel wesentlich kleiner als die PS-Dateien.

Im Informatik-Cluster können Sie mit Hilfe der Programme psnup oder mpage selbst mehrere Folien auf eine Seite drucken. Um z.B. 4 Folien auf eine Seite zu drucken, verwenden Sie den Befehl: psnup -4 -pa4 -l <eingabe.ps> <ausgabe.ps>

Kapitel	Titel	1 Folie pro Seite	2 Folien pro Seite	4 Folien pro Seite	Geändert
Kapitel 0	Administrative Issues				20.02.2009
Kapitel 1	Introduction				20.02.2009
Kapitel 2	Terminology				20.02.2009
Kapitel 3	Overview				20.02.2009
Kapitel 4	Dynamic Test				20.02.2009
Kapitel 5	Test of Object-Oriented Software				20.02.2009
Kapitel 6	Measurement				20.02.2009
Kapitel 7	Data Flow Anomaly Analysis				20.02.2009
Kapitel 8	Slicing				20.02.2009
Kapitel 9	Software Inspections and Reviews				20.02.2009
Kapitel 10	Formal Verification				20.02.2009
Kapitel 11	Conclusions				20.02.2009