Modul CS4139 T

Modulteil: Runtime Verification und Testen (RVTestena)

Dauer:

1 Semester

Angebotsturnus:

Jedes Sommersemester

Leistungspunkte:

Studiengang, Fachgebiet und Fachsemester:

Master Informatik 2019 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
Master Medizinische Ingenieurwissenschaft 2020 (Modulteil eines Wahlmoduls), Informatik/Elektrotechnik, Beliebiges Fachsemester
Master Entrepreneurship in digitalen Technologien 2020 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
Master Entrepreneurship in digitalen Technologien 2014 (Modulteil eines Wahlmoduls), Modulteil, Beliebiges Fachsemester
Master Medizinische Ingenieurwissenschaft 2014 (Modulteil eines Wahlmoduls), Informatik/Elektrotechnik, 2. Fachsemester
Master Informatik 2014 (Modulteil eines Pflichtmoduls), Modulteil, Beliebiges Fachsemester

Lehrveranstaltungen:

CS4139-Ü: Runtime Verifikation und Testen (Übung, 1 SWS)
CS4139-V: Runtime Verifikation und Testen (Vorlesung, 3 SWS)

Workload:

60 Stunden Präsenzstudium
100 Stunden Selbststudium und Aufgabenbearbeitung
20 Stunden Prüfungsvorbereitung

Lehrinhalte:
Qualitätsaspekte von Softwaresystemen Analyse- und Verifikationstechniken für Softwaresysteme Teststufen Testprozess Testarten Testfallgenerierung Spezifikation von Korrektheitseigenschaften Synthese von Monitoren zur Überwachung von Softwaresystemen Diagnose von Fehlern in Softwaresystemen Realisierung von Überwachungsframeworks

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:

Prüfungsform hängt vom übergeordneten Modul ab

Modulverantwortlicher:

Siehe Hauptmodul

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:

(Ist gleich CS4139)
(Ist Modulteil von CS4507)

Zulassungsvoraussetzungen zum Modul:
- Keine

Zulassungsvoraussetzungen zur Prüfung:
- Erfolgreiche Bearbeitung von Übungsaufgaben während des Semesters