|
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (TestAn-SWE)5 ECTS
Modulverantwortliche/r: Francesca Saglietti Lehrende:
Francesca Saglietti
Start semester: |
WS 2013/2014 | Duration: |
1 semester | Cycle: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Language: |
Englisch |
Lectures:
Inhalt:
Das Modul befasst sich zunächst mit der Bewertung der Relevanz eingebetteter Software in komplexen Automatisierungssystemen. In Abhängigkeit vom Grad der zu übernehmenden Sicherheitsverantwortung werden anschließend zahlreiche Test- und Analyseverfahren unterschiedlicher Rigorosität behandelt, die sich jeweils zur Überprüfung der Entwicklungskorrektheit (Verifikation) bzw. der Aufgabenangemessenheit (Validierung) eignen.
Lernziele und Kompetenzen:
Die Studierenden
analysieren die Relevanz eingebetteter Software in komplexen Automatisierungssystemen anhand von Fehlerbäumen und kausalen Relationen;
unterscheiden verschiedene Testverfahren hinsichtlich ihrer Erfüllung struktureller, kontrollflussbasierter bzw. datenflussbasierter Codeüberdeckungskriterien sowie ihres Fehlererkennungspotenzials;
bewerten die Angemessenheit von Testfallmengen mittels Mutationstesten;
überprüfen die Korrektheit von Modellen und Programmen anhand axiomatischer Beweisverfahren und Model-Checking-Verfahren.
Literatur:
Lehrbuch der Softwaretechnik (Band 1), Helmut Balzert, 2000
Bemerkung:
bei Bedarf in englischer Sprache, auch für die Studiengänge Wirtschaftsinformatik und Computerlinguistik
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
(Po-Vers. 2008 | Masterprüfung | Wahlpflichtbereich Informatik | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
- Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
(Po-Vers. 2008 | Masterprüfung | Wahlpflichtbereich Technisches Anwendungsfach | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
- Informatik (Bachelor of Science)
(Po-Vers. 2007 | Praktika und Wahlpflichtbereich (5. / 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
- Informatik (Master of Science)
(Po-Vers. 2010 | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsmodul Software Engineering)
- Informations- und Kommunikationstechnik (Master of Science)
(Po-Vers. 2010 | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme)
- Informations- und Kommunikationstechnik (Master of Science)
(Po-Vers. 2010 | Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen)
- Medizintechnik (Master of Science)
(Po-Vers. 2013 | Studienrichtung Medizinische Bild- und Datenverarbeitung | M5 Medizintechnische Vertiefungsmodule (BDV))
Studien-/Prüfungsleistungen:
Test- und Analyseverfahren zur Software-Verifikation und Validierung (Vorlesung mit Übung) (Prüfungsnummer: 32001)
- Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- Erstablegung: WS 2013/2014, 1. Wdh.: SS 2014, 2. Wdh.: keine Wiederholung
1. Prüfer: | Francesca Saglietti |
|
|
|