Home

Systematische Unit-Tests und Programmverifikation

Im ersten Teil dieses Seminars wird gezeigt, wie man Testfälle systematisch entwerfen und mit automatischen Testfunktionen in C++ testen kann. Im zweiten Teil werden dann Verifikationstechniken behandelt, die allgemeiner als Tests mit speziellen Werten sind.

Zielgruppe:	Programmierer (vor allem, aber nicht nur in C und C++), die die Zuverlässigkeit ihrer Programme steigern wollen, Software-Tester und Mitarbeiter im Bereich Software-Qualitätssicherung.
Voraussetzungen:	Praktische Erfahrungen mit einer prozeduralen Programmiersprache (z.B. C, C++, C#, Java, Pascal)
Methodik:	Vortrag mit vielen Übungen, in denen praxisnahe Programme entwickelt werden
Ort und Zeit:	Dieses Seminar wird als Firmenseminar (inhouse) angeboten.
Dauer:	2 Tage

Inhalt

Systematische Unit-Tests

Der systematische Entwurf von Testfällen
Testprotokolle und automatische Testfunktionen
Die Boost Testbibliothek
Das Boost Unit Test Framework
Unit-Tests unter .NET mit NUnit

Programmierlogik und Programmverifikation

Symbolische Ablaufprotokolle
Schleifeninvarianten
Vor- und Nachbedingungen
Verifikationen, Tests und die Prüfung von Bedingungen zur Laufzeit
Klasseninvarianten

Dauer: 2 Tage

Wichtig: Die Teilnehmer werden gebeten, dem Dozenten vor dem Kurs (bitte mindestens vier Wochen vor Beginn) eigene Programmbeispiele zur Verfügung stellen. Falls sie geeignet sind, werden sie dann im Kurs als Übungen und Beispiele behandelt. Mit solchen Beispielen aus dem Bereich der Teilnehmer ist das Seminar effizienter als mit Beispielen des Dozenten, die die Teilnehmer nicht direkt auf ihre Programme übertragen können.

Kontakt: training @ rkaiser . de , www.rkaiser.de
R. Kaiser, Schwärzlocher Straße 53, 72070 Tübingen, Tel. 07071-41598, FAX 07071-44473

Stand: 28.9.2006 (15.12.2005, 12.11.2004)