Test- und Analyseverfahren zur Softwareverifikation und -Validierung (TestAn-SWE)5 ECTS
(englische Bezeichnung: Software Test and Analysis (Verification and Validation))

Lehrveranstaltungen:

• • Software Test and Analysis (Software Verification and Validation)
    (Vorlesung, 2 SWS, Francesca Saglietti, Di, 14:15 - 15:45, 0.154-115)
  • Übungen zu Software Test and Analysis (Exercises in Software Verification and Validation)
    (Übung, 2 SWS, Marc Spisländer)

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:

1. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | Masterprüfung | Wahlpflichtbereich Informatik | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
2. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | Masterprüfung | Wahlpflichtbereich Technisches Anwendungsfach | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2007 | Praktika und Wahlpflichtbereich (5. / 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
5. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
6. Informatik (Master of Science)
   (Po-Vers. 2010 | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsmodul Software Engineering)
7. Informations- und Kommunikationstechnik (Master of Science)
   (Po-Vers. 2010 | Schwerpunkte im Masterstudium | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme)
8. Informations- und Kommunikationstechnik (Master of Science)
   (Po-Vers. 2010 | Schwerpunkte im Masterstudium | Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen)
9. International Information Systems (IIS) (Master of Science)
   (Po-Vers. 2014w | Informatics | Informatics Electives | Software Engineering II)
10. 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 2014/2015, 1. Wdh.: SS 2015, 2. Wdh.: keine Wiederholung

1. Prüfer:

Francesca Saglietti