|
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (TestAn-SWE)5 ECTS
Modulverantwortliche/r: Francesca Saglietti Lehrende:
Francesca Saglietti
Startsemester: |
WS 2011/2012 | Dauer: |
1 Semester |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. |
Lehrveranstaltungen:
Die Vorlesung Test- und Analyseverfahren zur Softwareverifikation und -Validierung findet im WS 2010/2011 ausnahmsweise als Blockveranstaltung statt. Die jeweiligen Termine werden zu Beginn des Semesters in Absprache mit interessierten Studenten festgelegt.
Inhalt:
- Einführung in die einzelnen Phasen der Softwareentwicklung: Anforderungsanalyse, Spezifikation, Entwurf, Implementierung, Test, Wartung
Beispielhafter Einsatz ausgewählter repräsentativer Verfahren zur Unterstützung dieser Entwicklungsphasen
Ergonomische Prinzipien Benutzungsoberfläche
Objektorientierte Analyse und Design mittels UML
Entwurfsmuster als konstruktive, wiederverwendbare Lösungsansätze für ganze Problemklassen
Automatisch unterstützte Implementierung aus UML-Diagrammen
Teststrategien
Refactoring zur Unterstützung der Wartungsphase
Lernziele und Kompetenzen:
Die Studierenden
erlernen auf der Basis der bereits erworbenen Programmierkenntnisse systematische und strukturierte Vorgehensweisen zur Bewältigung der Komplexität beim "Programmieren-im-Großen",
sind in der Lage, komplexe Problemstellungen durch ausgewählte Spezifikationssprachen eindeutig zu formulieren und zu analysieren, sowie deren Umsetzung durch ausgewählte Entwurfsverfahren herzuleiten,
erproben den Einsatz von UML-Diagrammen zum Zweck objektorientierter Analyse- und Design-Aktivitäten,
beherrschen die Wiederverwendung allgemeiner Entwurfslösungen durch Spezialisierung bewährter Entwurfsmuster,
erfahren Grundansätze des Testprozesses,
werden mit Refactoring-Strategien zur gezielten Erhöhung der Software-Änderungsfreundlichkeit vertraut.
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:
- 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 Softwareverifikation und -Validierung (Vorlesung mit Übungen)
(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [1], [2], [3], [4])
- Studienleistung, benotet
- Erstablegung: WS 2011/2012, 1. Wdh.: SS 2012, 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
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Vorlesung mit Übungen)
(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [5])
- mündliche Prüfung, Dauer (in Minuten): 30, benotet
- Erstablegung: WS 2011/2012, 1. Wdh.: SS 2012, 2. Wdh.: keine Wiederholung
1. Prüfer: | Francesca Saglietti |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|