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.

2020S, VU, 4.5h, 6.0EC
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 4.5
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.13:00 - 15:0003.03.2020 - 10.03.2020EI 9 Hlawka HS Vorlesung
Do.13:00 - 15:0005.03.2020 - 12.03.2020EI 9 Hlawka HS Vorlesung
Programm- und Systemverifikation - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.202013:00 - 15:00EI 9 Hlawka HS Vorlesung
Do.05.03.202013:00 - 15:00EI 9 Hlawka HS Vorlesung
Di.10.03.202013:00 - 15:00EI 9 Hlawka HS Vorlesung
Do.12.03.202013:00 - 15:00EI 9 Hlawka HS Vorlesung

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
Fr.15:00 - 17:3031.07.2020GM 1 Audi. Max. schriftlich16.06.2020 00:00 - 27.07.2020 00:00in TISSProgramm- und Systemverifikation Haupttermin

LVA-Anmeldung

Von Bis Abmeldung bis
03.03.2020 00:00 17.06.2020 23:59 30.06.2020 23:59

Curricula

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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch