|
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 2012/2013 | Duration: |
1 semester |
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 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:
www: http://www11.informatik.uni-erlangen.de/Lehre
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 | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | Praktika und 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)
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 |
- Termin: 26.09.2013, 14:00 Uhr, Ort: H 6 TechFTermin: 26.09.2013, 14:00 Uhr, Ort: H 6 TechF
|
|
|