Software Engineering II
Wann und Wo
Vorlesung: Dienstag, 9-11 Uhr, RUD 26, 0'310
Vorlesung / Übung: Mittwoch, 11-13 Uhr, RUD 26, 0'310
Wer
Dozent: Prof. Grunske / Dipl.Inf. Simon Heiden
Beschreibung und Aufbau der Lehrveranstaltung
Die Teilnehmer haben tiefe und umfassende Kenntnisse auf dem Gebiet des Softwareprojekt-Managements und in den Techniken der automatisierten Software-Entwicklung und Qualitätssicherung.
Die speziellen Inhalte sind:
- automatisierte Softwareentwicklung
- Konstruktive Qualitätssicherung
- Analytische Qualitätssicherung
- Softwaretests und Verifikation
- Organisationsaspekte der Software-Bearbeitung
- Software-Prozesse, Prozess-Bewertung und -Verbesserung
- Software-Wartung
Terminplanung bis Semesterende (Änderungen möglich)
| Di, 9.00-11.00 | Thema | Mi, 11.00-13.00 | Thema | |||
|---|---|---|---|---|---|---|
| 18.04.17 | V |
Einführung: Grundbegriffe Softwarequalitätssicherung und -prüfung (LL13, Lig10) |
19.04.17 |
|
Dies academicus | |
| 25.04.17 | V | Organisatorische Qualitätssicherung: Durchführung und Führung von/in Softwareprojekten | 26.04.17 | V | Grundlagen: Heuristisches Suchen | |
| 02.05.17 | V | Organisatorische Qualitätssicherung: Bewertung und Verbesserung von SW Prozessen (LL11) | 03.05.17 | V | Grundlagen: Maschinelles Lernen I | |
| 09.05.17 | V | Grundlagen: Maschinelles Lernen II | 10.05.17 | V | Konstruktive Qualitätssicherung: Automatisierte Techniken im Architektur und Detailentwurf | |
| 16.05.17 | V | Konstruktive Qualitätssicherung: Automatisierte Techniken im Anforderungsmanagement | 17.05.17 | V |
Analytische Qualitätssicherung: Symbolic Execution und Automatisierte Testfallgenerierung |
|
| 23.05.17 | V |
Gastvorlesung: Dr. Michael Menzel und Dr. Richard Müller “Moderne Architekturen - Von monolithischen Altanwendungen zu modernen, reaktiven Self-Contained-Systems” Senacor Technologies AG |
24.05.17 | V | Analytische Qualitätssicherung: Automatisierte Fehlerfindung und Debugging | |
| 30.05.17 | V |
Gastvorlesung: Dr. Robert Hilbrich, “Entwurfsentscheidungen und Entwurfsraum am Beispiel der Entwicklung eines Flugzeugs” Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) |
31.05.17 | V | Konstruktive Qualitätssicherung: Automatisierte Patch-Generierung | |
| 06.06.17 |
Ü + V |
Vorstellung des Übungskonzepts + Analytische Qualitätssicherung: Datenflussorientierte Testtechniken (Lig4) |
07.06.17 | V | Analytische Qualitätssicherung: Automatisierte Testfallgenerierung | |
| 13.06.17 | V |
Gastvorlesung: Dr. Irene Moser, "Advanced Search Algorithms" Swinburne University of Technology |
14.06.17 | V | Analytische Qualitätssicherung: Diversifizierende-Testtechniken | |
| 20.06.17 | V |
Gastvorlesung: Dr. Joachim Wegner, "Neue Testverfahren in der industriellen Praxis“, Assystem Germany GmbH |
21.06.17 | V | Analytische Qualitätssicherung: Mutationstesten (Lig5) | |
| 27.06.17 | V |
Gastvorlesung: Sebastian Halder, "DevOps: Von fleißigen Ameisen, treuen Dienern und Containern“ TWT GmbH |
28.06.17 | V | Konstruktive Qualitätssicherung: Metriken und Bewertungen (LL14) | |
| 04.07.17 | V |
Gastvorlesung: Dr. Roland Neumann, Bundesdruckerei "Quo Vadis Software Metriken“, Bundesdruckerei |
05.07.17 | V | Zusammenfassung und Q&A | |
| 11.07.17 |
|
keine Vorlesung: Klausurvorbereitung |
12.07.17 |
|
keine Vorlesung: Klausurvorbereitung |
|
| 18.07.17 | Ü | Projekt Präsentationen | 19.07.16 | Ü | Projekt Präsentationen |
Links zu Berufsgemeinschaften für Informatiker/Softwaretechniker:
- Gesellschaft für Informatik (GI)
- Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung
- IEEE Computer Society
- Association for Computing Machinery (ACM)
Software Engineering Links:
- Software Engineering Code of Ethics and Professional Practice (pdf)
- Software Engineering Information Repository
- Bibliography - Software Metrics
- Klassiker des Software Engineerings (pdf)
Skript und Übungsaufgaben
Alle Materialien zur Vorlesung werden in Moodle zur Verfügung gestellt. Das Passwort zum Kursbeitritt wird in der ersten Veranstaltung bekanntgegeben.
Nähere Informationen zum Übungsbetrieb werden im Verlauf des Semesters in der Vorlesung oder über Moodle bekannt gegeben.
Voraussetzungen und Prüfung
Umfassende Kenntnisse im Software Engineering werden vorausgesetzt. Insbesondere allgemeine Qualitätssicherungsmaßnahmen sollten bekannt sein.
Für die Zulassung zur Prüfung ist ferner die Teilnahme am Übungsbetrieb verpflichtend. Pro Übungsblatt müssen im Schnitt 3 Punkte erreicht werden.
Die Lehrveranstaltung wird mit einer 120-Minuten-Klausur geprüft. Zugelassenes Hilfsmittel ist ein beidseitig handschriftlich beschriebener DIN A4 Zettel.
Klausurtermin (120 min): Mi 02.08.2017 (Einlass 09:00, Klausurbeginn 09:300 Raum 3.001)
Literatur
- Jochen Ludewig, Horst Lichter, Software Engineering – Grundlagen, Menschen, Prozesse, Techniken. 2. Aufl., dpunkt.verlag Heidelberg, 2010.
-
Peter Liggesmeyer, Software-Qualität. Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag, 2002.