| Modulbezeichnung | Software Quality |
| ggf. Kürzel | 5841 |
| Studiensemester | Master Inf |
| Modulverantwortlicher | Beyer |
| Dozent | Beyer |
| Sprache | englisch |
| Zuordnung zum Curriculum | |
| Lehrform/SWS | 3 V + 2 Ü |
| Arbeitsaufwand | 75 h Präsenz + 50 h Übungsaufgaben + 85 h Nachbearbeitung des Vorlesungsstoffs und Prüfungsvorbereitung |
| Kreditpunkte | 7 |
| Voraussetzungen nach Prüfungsordnung | keine |
| Empfohlene Voraussetzungen | 5300 - Software Engineering |
| Angestrebte Lernergebnisse | Kenntnisse: Die Studierenden werden mit grundlegenden Konzepte der Qualitätssicherung, Begriffe aus internationalen Standards (ISO), Software-Prozessmodellen, und Verfahren zur automatischen Qualitätssicherung mittels Test und Verifikation vertraut gemacht. Fähigkeiten: In den Übungen wird das in der Vorlesung behandelte Wissen vertieft, in dem die Studenten die Konzepte auf konkrete Beispiele anwenden. Im Semesterprojekt sammeln die Studenten eigene Erfahrung im Umgang mit Test- und Verifikationstechniken, aber auch mit messwertbasierten Strukturanalysen. Kompetenzen: Die Studenten können in der industriellen Praxis einzusetzende Technologien beurteilen und projektgerechte Maßnahmen zur Qualitätsverbesserung vorschlagen und umsetzen. Im Vordergrund steht der konkrete Umgang mit automatisierten Software-Werkzeugen und deren Anwendung auf konkrete Softwaresysteme. |
| Inhalt | Die Vorlesung führt wesentliche Begriffe und Prinzipien der
Software-Qualitätssicherung ein, insbesondere das Qualitätssystem
nach ISO, Softwareprozess-Modelle, Testtechniken, automatisiertes
Testen, Softwaremaße, Verifikation, temporale Logik, Model-Checking.
Die
Anwendungen konzentrieren sich auf die Bewertung von realen
Softwaresystemen. Im
Semesterprojekt benutzen die Studenten vorhandene Analysewerkzeuge. Kurzübersicht zur Vorlesung: * Begriffe der Software-Qualitätssicherung * ISO-Normen * eXtreme Programming * Sicherheitskritische Systeme * Formale Spezifikation und Verifikation * Testtechniken * Automatisiertes Testen und automatische Testfallgenerierung * Model-Checking und Datenflussanalyse * Theorembeweiser * Datenstrukturen und Algorithmen für Software Verifikation * Softwaremaße |
| Studien-/Prüfungsleistungen | Mündliche Prüfung (30 min) und erfolgreiche Durchführung des Semesterprojektes, letzteres nachgewiesen durch praktische Leistung bei der selbständigen Erarbeitung, Implementierung und Präsentation der eigenen Softwarekomponente, sowie durch die Abgabe des Projektberichtes mit Erklärung der Konzepte und der Implementierung. Die Gesamt-Note setzt sich zu je 50 % aus der Teil-Note für die Prüfung und der Teil-Note für das Semesterprojekt zusammen. |
| Medienformen | Tafel + Projektor |
| Literatur | I. Sommerville. Software Engineering. Pearson, 2006. G. J. Myers. The Art of Software Testing. Wiley, 2004. K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 1999. E. M. Clarke, O. Grumberg and D. Peled. Model Checking. MIT Press, 2000. |