Home | english  | Impressum | Datenschutz | Sitemap | KIT

Proseminar Werkzeuge und Methoden der Software-Analyse

Proseminar Werkzeuge und Methoden der Software-Analyse
Typ: Proseminar (PS)
Semester: WS 19/20
Ort:

Seminarraum 131, Geb. 50.34

Zeit:

Freitag 14:00 - 15:30 wöchentlich

Beginn: 25.10.2019
Dozent: Prof. Dr. Carsten Sinz
SWS: 2
LVNr.: 2400088

Das Proseminar gibt eine Einführung in verschiedene Werkzeuge und Methoden der Software-Analyse. Software-Analysen haben zum Ziel, Fehler automatisiert zu finden (Bug Finding) oder deren Abwesenheit zu beweisen (Verifikation). Anhand einzelner Vorträge sollen verschiedene Werkzeuge und Methoden zur automatisierten Fehlersuche für eine Reihe von Programmiersprachen vorgestellt werden. Vorträge bestehen entweder aus der Präsentation einer Methode zur Programm-Analyse oder der Vorstellung eines Werkzeugs, wobei in letzterem Fall auch eine Beschreibung der dahinterstehenden theoretischen Methode sowie einfache Anwendungsbeispiele im Vortrag enthalten sein sollen.

 

Themen

  • M1: Abstrakte Interpretation: Grundlagen 
  • M2: Abstrakte Interpretation: Domains
  • M3: Predicate Abstraction
  • M4: Compositional Bounded Model Checking
  • M5: Fuzzing
  • M6: Delta-Debugging
  • M7: Explicit-State Model Checking
  • M8: Combinatorial Testing
  • M9: Advanced Coverage Criteria
  • M10: Softwarequalitäts-Standards
  • M11: Symbolic Model Checking
  • M12: Bounded Model Checking
  • W1: Valgrind
  • W2: Clang Static Analyzers
  • W3: SonarQube
  • W4: PMD
  • W5: Frama-C
  • W6: KeY
  • W7: Polyspace
  • W8: SMACK
  • W9: SPIN

 

Literatur

Liste der Einstiegspaper kann hier heruntergeladen werden.

Die Folien der Auftaktveranstaltung finden Sie hier.

 

Termine

  • 25.10.2019: Vorbesprechung / Auftaktveranstaltung
  • 08.11.2019: Themenvergabe
  • 15.11.2019: Literaturbesprechung (Abgabe der erweiterten Literaturliste am 13.11.)
  • 22.11.2019: Besprechung Gliederung und Kernthemen Gruppe "Methoden" (Abgabe der Gliederung am 20.11.)
  • 29.11.2019: Besprechung Gliederung und Kernthemen Gruppe "Werkzeuge" (Abgabe der Gliederung am 27.11.)
  • 06.12.2019: Besprechung erste Version Vortragsfolien Gruppe "Methoden" (Abgabe der Folien 04.12.)
  • 13.12.2019: Besprechung erste Version Vortragsfolien Gruppe "Werkzeuge" (Abgabe der Folien  11.12.)
  • 20.12.2019: Allgemeine Fragestunde
  • 10.01.2020: Besprechung überarbeitete Version Vortragsfolien Gruppe "Methoden" (Abgabe der Folien am 08.01.)
  • 17.01.2020: Besprechung überarbeitete Version Vortragsfolien Gruppe "Werkzeuge" (Abgabe der Folien am 15.01.)
  • 24.01.2020: Allgemeine Fragestunde / evtl. Industrievortrag
  • 31.01.2020: Besprechung Entwurf Ausarbeitung Gruppe "Methoden" (Abgabe vorläufige Version am 29.01.)
  • 07.02.2020: Besprechung Entwurf Ausarbeitung Gruppe "Werkzeuge" (Abgabe der vorläufigen Version am 05.02.)
  • voraussichtlich Mo./Di. 17./18..02.2020: Vorträge

Abgaben haben zum angegebenen Stichtag per E-Mail zu erfolgen.

Die Teilnahme an den Terminen der eigenen Gruppe sind verpflichtend, die der anderen Gruppe sind freiwillig.

 

Vorträge

Vorträge sollen maximal 25 Minuten lang sein. Bitte achten Sie dringend darauf, diese Zeit einzuhalten! Vorträge der Gruppe "Werkzeuge" dürfen optional eine Tool-Präsentation enthalten. Dann ändert sich die Vortragszeit auf maximal 20 Minuten plus 10 Minuten für die Tool-Präsentation. Nach jedem Vortrag ist eine Diskussion von 5-10 Minuten vorgesehen.

 

Abgabe der Ausarbeitung

Die Abgabe der Ausarbeitung erfolgt als PDF-Datei per E-Mail. Abgabgeschluss ist Freitag, der 27.03.2020.

 

Vorlagen

Ihre Ausarbeitung sollte einen Umfang von 10-15 Seiten haben und in LaTeX erstellt sein. Verwenden Sie dazu den LaTeX-Style des Leibniz-Zentrums für Informatik. Die Vorlage sowie ein Beispieldokument können Sie auf der Webseite https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ herunterladen. Verwenden Sie das Format lipics-v2018/19-authors mit den Einstellungen \nolinenumbers und \hideLIPIcs (siehe dazu auch das Beispieldokument der Vorlage). \ArticleNo setzen Sie bitte auf das Kürzel Ihres Themas.