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)

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.

  • Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation)
    (Vorlesung, 2 SWS, Francesca Saglietti, Do, 14:15 - 15:45, 00.152-113)
  • Übungen zu Test- und Analyseverfahren (Exercises in Software Verification and Validation)
    (Übung, 2 SWS)

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:

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 Softwareverifikation und -Validierung (Vorlesung mit Übungen)

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