Software Testen, Analysieren und Verifizieren (Wintersemester 2018/2019)

Lecturer: Dr. Leen Lambers (Systemanalyse und Modellierung)

General Information

Weekly Hours: 4
Credits: 6
Graded: yes
Enrolment Deadline: 26.10.2018
Teaching Form: Lecture / Project
Enrolment Type: Compulsory Elective Module
Course Language: German
Maximum number of participants: 20

Programs, Module Groups & Modules

IT-Systems Engineering MA

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

Description

How to ensure that software is working properly? Depending on the application it might be usefull 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.

Literature

Software Engineering; Ian Sommerville, PEARSON Studium, 2012
Software-Qualität: Testen, Analysieren und Verifizieren von Software; Peter Liggesmeyer, Spektrum Akademischer Verlag, 2002
Introduction to Software Testing; Paul Ammann, Jeff Offutt, Cambridge University Press, 2008
Software Testing and Analysis: Process, Principles and Techniques; Mauro Pezzè, Michal Young, Wiley, 2007
Principles of Program Analysis; Flemming Nielson, Hanne Riis Nielson, Chris Hankin, Springer, 2005
Model Checking; Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled, MIT Press, 1999

Weiterführende Literatur wird in der Lehrveranstaltung bekanntgegeben.

Learning

Die Vorlesung wird begleitet von einem Projekt. Das Projektziel ist es, eine praktische Anwendung mit den in der Vorlesung vermittelten Techniken unter die Lupe zu nehmen.

Examination

Eine erfolgreiche Projektbearbeitung ist Zulassungsvoraussetzung für die schriftliche Prüfung am Semesterende. Die Note ergibt sich aus der Punktzahl für diese Prüfung plus evt. Bonuspunkte aus dem Projekt.

Dates

Montags, 13:30 Uhr - 15:00 Uhr im Raum A-2.2

Donnerstags, 09:15 Uhr - 10:45 Uhr im Raum A-2.2

Zurück