Software Testen, Analysieren und Verifizieren (Wintersemester 2016/2017)

Dozent: Dr. Leen Lambers (Systemanalyse und Modellierung)

Allgemeine Information

IT-Systems Engineering BA

IT-Systems Engineering MA

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.

Software Engineering; Ian Sommerville, PEARSON Studium, 2012
Software-Qualität: Testen, Analysieren und Verifizieren von Software; Peter Liggesmeyer, Spektrum Akademischer Verlag, 2002
Lehrbuch der Software-Technik: Software-Management, Software-Qualitätssicherung, Unternehmensmodellierung; Helmut Balzert, Spektrum Akademischer Verlag, 1997
Introduction to Software Testing; Paul Ammann, Jeff Offutt, Cambridge University Press, 2008
Testing Object-oriented Systems: Models, Patterns, and Tools; Robert Binder, Addison Wesley, 1999
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
Systems and Software Verification: Model-Checking Techniques and Tools; B. Bernard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, Springer, 2001
Verification of Sequential and Concurrent Programs; Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Springer, 2009
Formal Methods: Industrial Use from Model to the Code; Edited by Jean-Louis Boulanger; Wiley, 2012

Weiterführende Literatur wird in der Lehrveranstaltung bekanntgegeben.

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.

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.

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

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

Klausurtermin: Dienstag, 21.02.2017, 09:15-10:45, A-2.2