Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (TestAn-SWE)5 ECTS
(Prüfungsordnungsmodul: Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen)

Lectures:

• • Software Test and Analysis (Software Verification and Validation)
    (Vorlesung, 2 SWS, Francesca Saglietti, Wed, 10:15 - 11:45, 10.125)
  • Ü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 erwerben fundierte Kenntnisse über:

• Verfahren zur Systemanalyse und zur Risikobewertung,

• gestaffelte Anforderungen internationaler Standards an den Genehmigungsprozess kritischer Software,

• Testverfahren, vor allem im Hinblick auf den für hochzuverlässige Software erforderlichen Nachweis struktureller Codeüberdeckungskriterien,

• Analyseverfahren zum Korrektheitsnachweis bzw. zur weitgehend automatischen Generierung von Gegenbeispielen.

Literatur:

Lehrbuch der Softwaretechnik (Band 1), Helmut Balzert, 2000

Bemerkung:

bei Bedarf in englischer Sprache, auch für die Studiengänge Wirtschaftsinformatik und Computerlinguistik

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. 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)

Studien-/Prüfungsleistungen:

Test- und Analyseverfahren zur Software-Verifikation und Validierung (Vorlesung mit Übung)

mündliche Prüfung, Dauer (in Minuten): 30, benotet

Erstablegung: WS 2012/2013, 1. Wdh.: SS 2013, 2. Wdh.: keine Wiederholung

1. Prüfer:

Francesca Saglietti