Modul CS4136

Dauer:

Angebotsturnus:

Studiengang, Fachgebiet und Fachsemester:

• Master Informatik 2012 (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 1. oder 2. Fachsemester
• Master Informatik 2012 (Wahlpflicht), Schwerpunktfach Software Systems Engineering, 2. oder 3. Fachsemester
• Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Programmierung, 2. oder 3. Fachsemester

Qualifikationsziele/Kompetenzen:

• Grundsätzliche Kenntnisse von Analyse- und Verifikationstechniken
• Vertrautheit mit der Spezifikation von Korrektheits- und Sicherheitseigenschaften
• Kenntnisse über verschiedene Techniken zum Testen von Hard- und Softwaresystemen
• Kenntnisse über die Funktionsweise von Testfallgenerierungswerkzeugen
• Fähigkeiten, durch die vermittelten Techniken Software von höherer Qualität zu entwickeln

Vergabe von Leistungspunkten und Benotung durch:

• Klausur oder mündliche Prüfung nach Maßgabe des Dozenten

Modulverantwortlicher:

• Prof. Dr. Martin Leucker

Lehrende:

• Institut für Softwaretechnik und Programmiersprachen

• Prof. Dr. Martin Leucker

Literatur:

• G.J. Myers: The Art of Software Testing - John Wiley, 1979
• B. Beizer: Software Testing Techniques - Van Nostrand Reinhold, 1999
• M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner: Model-Based Testing of Reactive Systems - Springer, 2005

Sprache:

• Englisch, außer bei nur deutschsprachigen Teilnehmern

Bemerkungen:

Es wird empfohlen, dieses Modul in Kombination mit dem Modul CS4137 Runtime Verification zu hören.

Letzte Änderung: