Modul CS4137

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 von Techniken zur Synthese von Monitoren
• 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:

• A. Bauer, M. Leucker, C. Schallhart: Runtime Verification for LTL and TLTL - ACM TOSEM, 2011
• C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
• D. Peled: Software Reliability Methods - Springer, 2001
• 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 CS4136 Software- und System-Testen zu hören.

Letzte Änderung: