Module

Voraussetzungen

Inhalte

Nach einer genauen Auseinandersetzung mit den Möglichkeiten und Grenzen von Testverfahren, insbesondere im Vergleich mit Verifikation, verschaffen wir uns einen Überblick über bekannte Methoden zum systematischen Testen von Software. Dabei gehen wir auch auf die speziellen Probleme beim Testen objektorientierter und nebenläufiger Software ein.

Lernziele

Die Studierenden überblicken diverse Testverfahren und deren Einsatzmöglichkeiten bzw. -grenzen. Sie beherrschen den Umgang mit entsprechenden prototypischen Werkzeugen.

Prüfungsleistung

Voraussetzung für die Modulabschlussprüfung: • erfolgreiche Bearbeitung von Übungsaufgaben (75% müssen erbracht werden)Modulabschlussprüfung: • Klausur, 120 min. ODER • mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl) In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.

Bemerkungen

• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Praktische Informatik“ (Niveaustufe 400). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Zuverlässige HW/SW-Systeme". Falls kein Bedarf am Modulangebot in deutscher Sprache vorliegt, so kann statt dem Modul 12408 auch das englischsprachige Modul 11885 "Software Testing" angeboten werden. Die Module 11885 "Software Testing" und 12408 "Testen von Software" können nicht zusammen abgerechnet werden.