Testen, Verifizieren und Analysieren von Software (Wintersemester 2015/2016)

Dozent: Dr. Leen Lambers (Systemanalyse und Modellierung)

Allgemeine Information

• Semesterwochenstunden: 4
• ECTS: 6
• Benotet: Ja
• Einschreibefrist: 23.10.2015
• Lehrform: VP
• Belegungsart: Wahlpflichtmodul

Studiengänge, Modulgruppen & Module

Beschreibung

Software Testing, Verification and Analysis

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 apprioprate. 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

• 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.

Lern- und Lehrformen

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. 

Leistungserfassung

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. Die Klausur findet am 18.02.2016 von 09:15 bis 10:45 im Hörsaal 3 statt.

Termine

Dienstags und donnerstags, 09:15 Uhr - 10:45 Uhr im Raum A-2.1 (Erster Termin Di, 13.10.2015)

Zurück