184.741 Programm- und Systemverifikation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, VU, 4.5h, 6.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 4.5
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage:

- Gängige Methoden für das Testen von Software anzuwenden (wie Aquivalenzklassen, Boundary Testing, Abdeckungsmetriken)

- Assertions in der Softwareentwicklung einzusetzen um die Qualität der Software zu erhöhen

- Software mit Vor- und Nachbedingungen zu spezifizieren und Korrektheit mit Invarianten und Hoare Logik zu beweisen

- Automatische Softwareverifikationstools wie Bounded Model Checking und Symbolische Simulation einzusetzen

Inhalt der Lehrveranstaltung

  • Methoden der Modellierung und Spezifikation durch Logik, Automaten, Assertions, Coverage Kriterien
  • Verifikationswerkzeuge, insbesonders Model Checker, Statische Analyse, Theorembeweisen, Testen
  • Praktischer Umgang mit Verifikationswerkzeugen
  • Grundlagen zur Zertifizierung und zu Standards in der industriellen Validierung

 

Methoden

- Lösen von Übungsaufgaben

- Einsatz von Softwareverifikationstools zum Auffinden von Softwarefehlern

Prüfungsmodus

Schriftlich

Weitere Informationen

 

ECTS Breakdown:

36h Vorlesung
114h Übungen
---------------------------
150h in Summe (6 ECTS)
---------------------------

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.13:00 - 15:0002.03.2021 - 15.06.2021 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09 (LIVE)Programm- und Systemverifikation
Do.13:00 - 15:0004.03.2021 - 10.06.2021 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09 (LIVE)Programm- und Systemverifikation
Programm- und Systemverifikation - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.02.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.04.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.09.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.11.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.16.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.18.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.23.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.25.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.13.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.15.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.20.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.22.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.27.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.29.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.04.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.06.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.11.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Di.18.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.20.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation
Do.27.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Programm- und Systemverifikation

Leistungsnachweis

Die Studenten lösen Übungsaufgaben (von Hand oder mit Softwarewerkzeugen) und reichen diese ein. Die Abgaben werden kommentiert und bewertet.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mi.09:00 - 11:0012.06.2024 Informatikhörsaalschriftlich01.05.2024 00:00 - 11.06.2024 23:59in TISSWritten Exam

LVA-Anmeldung

Von Bis Abmeldung bis
01.03.2021 00:00 04.05.2021 23:59 04.05.2021 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 534 Software & Information Engineering Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik Pflichtfach4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch