|
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (TestAn-SWE)5 ECTS (englische Bezeichnung: Test and Analysis Techniques for Software Verification and Validation)
(Prüfungsordnungsmodul: Vertiefungsrichtung Software Engineering)
Modulverantwortliche/r: Francesca Saglietti Lehrende:
Francesca Saglietti
Startsemester: |
WS 2017/2018 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Englisch |
Lehrveranstaltungen:
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. Content:
The module starts with approaches aimed at evaluating the relevance
of embedded software in complex control systems. Depending on the
degree of the underlying safety relevance, several testing and
analysis techniques at different levels of rigour are successively
introduced; their application helps checking the correctness of the
product developed (verification) resp. the appropriateness of the
task specified (validation).
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.
Learning objectives and competencies: The students
analyse the relevance of embedded software in complex control systems by means of fault trees and causal relations;
distinguish between different testing techniques in terms of their achievement of structural, control flow based resp. data flow based code coverage criteria and their fault detection capabilities;
evaluate the adequacy of test case sets by means of mutation testing;
check the correctness of models and programs by means of axiomatic proofs and model checking.
Literatur:
Lehrbuch der Softwaretechnik (Band 1), Helmut Balzert, 2000
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Software Engineering)
Dieses Modul ist daneben auch in den Studienfächern "123#67#H", "Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)", "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informations- und Kommunikationstechnik (Master of Science)", "International Information Systems (IIS) (Master of Science)", "Mathematik (Bachelor of Science)", "Medizintechnik (Master of Science)" verwendbar. Details
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 2017/2018, 1. Wdh.: SS 2018, 2. Wdh.: keine Wiederholung
1. Prüfer: | Francesca Saglietti |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|