Lehrende: Prof. Dr. rer. nat. Marie-Christine Jakobs
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: FTSV
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Diese Seminar behandelt Themen aus dem Bereich automatischer Testfallgenerierung. Das Ziel der Testfallgenerierung ist es Testeingaben zu erzeugen, die Fehler in Programmen entdecken, oder eine Menge von Testeingaben zu erzeugen, die zusammen ein gewisses Überdeckungskriterium erreichen. Konkrekt beschäftigen wir uns in diesem Seminar mit Werkzeugen zur automatischen Testgenerierung, die ihre Testeingaben (1) zufallsbasiert, (2) mit such-basierten Ansätzen, (3) mit Hilfe von symbolischer Ausführung oder (4) mit Hilfe von Erreichbarkeitsanalysen generieren. Die konreten Themen entnehmen Sie bitte der Webseite der Lehrveranstaltung (https://www.informatik.tu-darmstadt.de/svpsys/semantik_und_verifikation_paralleler_systeme_svpsys/lehre_svpsys/seminar_ftsv_svpsys/index.de.jsp). Während des Seminars werden Sie unter Anleitung - sich auf Basis von vorgegebener und selbst gefundener, wissenschaftlicher Literatur in Ihr Thema einarbeiten - einen Vortrag über Ihr Thema vorbereiten und vor den anderen Teilnehmern halten, um mit ihnen anschließend über Ihr Thema zu diskutieren, - eine wissenschaftliche Ausarbeitung verfassen, die einen zusammenfassenden Überblick über Ihr Thema gibt.
Voraussetzungen: Empfohlen: Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik Hilfreich: Besuch einer Veranstaltung des Fachgebietes Semantik und Verifikation paralleler Systeme
Erwartete Teilnehmerzahl: 12
Weitere Informationen: 1. Treffen am 25.10.2021 um 15 Uhr. Weitere Details werden im Moodle Kurs bekannt gegeben.
Online-Angebote: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1112