Modul CS4139-KP06, CS4139

Dauer:

Angebotsturnus:

Studiengang, Fachgebiet und Fachsemester:

• Master Medizinische Ingenieurwissenschaft 2020 (Wahlpflicht), Informatik/Elektrotechnik, Beliebiges Fachsemester
• Master Medieninformatik 2020 (Wahlpflicht), Informatik, Beliebiges Fachsemester
• Master IT-Sicherheit 2019 (Wahlpflicht), IT-Sicherheit Safety und Reliability, 1., 2. oder 3. Fachsemester
• Master Medizinische Ingenieurwissenschaft 2014 (Wahlpflicht), Informatik/Elektrotechnik, Beliebiges Fachsemester
• Master Medizinische Informatik 2014 (Wahlpflicht), Informatik, 1. oder 2. Fachsemester
• Master Medieninformatik 2014 (Wahlpflicht), Informatik, Beliebiges Fachsemester
• Master Informatik 2014 (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 1. oder 2. Fachsemester

Qualifikationsziele/Kompetenzen:

• Die Studierenden können Analyse- und Verifikationstechniken beschreiben und vergleichen.
• Sie können Spezifikationen von Korrektheits- und Sicherheitseigenschaften erstellen, analysieren und bewerten.
• Sie können verschiedene Techniken zum Testen von Hard- und Softwaresystemen erläutern sowie geeignete Techniken auswählen und einsetzen.
• Sie Können die Funktionsweise von Testfallgenerierungswerkzeugen erklären und ihnen Einsatzgebiete zuordnen.
• Sie können Techniken zur Synthese von Monitoren beschreiben und anwenden.
• Sie können durch die vermittelten Techniken Software von höherer Qualität 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
• 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

Sprache:

• Englisch, außer bei nur deutschsprachigen Teilnehmern

Bemerkungen:

Zulassungsvoraussetzungen zur Belegung des Moduls:
- Keine

Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungsaufgaben gemäß Vorgabe am Semesteranfang

Modulprüfung(en):
- CS4139-L1: Runtime Verification und Testen, mündliche Prüfung, 100% der Modulnote

Letzte Änderung: