Software Analysieren, Testen und Verifizieren (Wintersemester 2020/2021)
Dozent:
Dr. Leen Lambers
(Systemanalyse und Modellierung)
Allgemeine Information
- Semesterwochenstunden: 4
- ECTS: 6
- Benotet:
Ja
- Einschreibefrist: 01.10.-20.11.2020
- Lehrform: Vorlesung / Projekt
- Belegungsart: Wahlpflichtmodul
- Lehrsprache: Englisch
Studiengänge, Modulgruppen & Module
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-K Konzepte und Methoden
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-S Spezialisierung
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-T Techniken und Werkzeuge
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-K Konzepte und Methoden
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-S Spezialisierung
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-T Techniken und Werkzeuge
- IT-Systems Engineering
- IT-Systems Engineering
Beschreibung
How to ensure that software is working properly? Depending on the application and context it might be useful to prove correctness properties or rather concentrate on finding defects. In other cases the lightweight analysis of specific properties might be appropriate. We will study and compare the adequate and combined application of these different checking methods. Thereby the course will emphasize their automation and application in a practical context as well as their integration into modern software development paradigms such as model-based software engineering.
Literatur
- Introduction to Software Testing; Paul Ammann, Jeff Offutt, Cambridge University Press, 2008 (2nd Edition, 2017)
- Software Testing and Analysis: Process, Principles and Techniques; Mauro Pezzè, Michal Young, Wiley, 2007
Weiterführende Literatur wird in der Lehrveranstaltung bekanntgegeben.
Lern- und Lehrformen
Die Vorlesung wird von regelmäßigen Hausaufgaben begleitet.
Das Ziel der Hausaufgaben ist es vorrangig, die in der Vorlesung vermittelten Techniken auf ein semesterbegleitendes Softwareprojekt anzuwenden. Diese Hausaufgaben sind Grundlage für eine wöchentliche Übung, in der wir ausgewählte Lösungen im Plenum kennenlernen und weitergehend diskutieren. Zur erfolgreichen Bearbeitung der Hausaufgaben gehört, dass man die eigene Lösung dem Plenum kurz vorstellen und erklären kann.
Einzelne Hausaufgaben beinhalten darüber hinaus das Kennenlernen eines Werkzeugs oder das Lesen eines Forschungsartikels zu einem ausgewählten Thema der Lehrveranstaltung und das Vorbereiten und Halten einer 20-Minütigen Präsentation des Werkzeugs oder des Artikels im Plenum.
Leistungserfassung
Eine erfolgreiche Bearbeitung der Hausaufgaben ist Zulassungsvoraussetzung für die schriftliche Prüfung am Semesterende. Die Note ergibt sich aus der Punktzahl für die schriftliche Prüfung (70%) und der Punktzahl für die Hausaufgaben (30%).
Termine
Montag 13:30 - 15:00 (zunächst online, sonst in Raum A-2.2) und Donnerstag 11:00-12:30 in (zunächst online, sonst in Raum A-1.2).
Bitte melden Sie sich bei Interesse zur Teilnahme per Mail an Leen.Lambers(at)hpi.de . Aufgrund der aktuellen Lage (COVID-19) findet die LV zunächst online statt.
Die schriftliche Prüfung für die Lehrveranstaltung findet am 25.02 (Do, 11:00-12:30 Uhr) statt.
Zurück
