Good Practice Prof. Dr. Matthias Güdemann
- Hochschule für angewandte Wissenschaften München
- Fachdisziplin: MINT
- Prüfungsfach: Programmverifikation
- Prüfungsform: Modularbeit
- Prüfungssystem: Moodle
Moodle basierte Prüfung mit schriftlich zu beantwortenden Fragen sowie zu erstellenden Programmen
Beschreibung der Prüfung
In Moodle werden sowohl Fragen, die mit Freitext zu beantworten sind, als auch Aufgaben zur Erstellung von Programmfunktionen und deren Beweisannotationen gestellt.
Anwendung des Constructive Alignment
Ziel der Veranstaltung ist die Anwendung von Verifikation auf Programme. Diese müssen sowohl für die Verifikation passend geschrieben als auch annotiert werden. Dies sollte in der Prüfung abgefragt werden.
Kompetenzerfassung
- Implementierung von informellen Spezifikationen in C
- Erstellung einer formalisierten Spezifikation in ACSL
- Analyse bzgl. Auftreten von Run-Time-Errors
- Anwendung der SSA Transformation auf ein C Programm
- Evaluieren welche Verifikationsmethode eingesetzt werden kann und warum
Kompetenzniveau
Es wurden die Kompetenzniveaus, Anwenden, Analysieren und Evaluieren abgedeckt. Da die Prüfung ohne Aufsicht stattfand, sind die unteren Niveaus schwierig.
„Ich halte meine Prüfung für eine Good Practice, weil…..“
… die Aufgaben nahe der Praktikumsaufgaben waren und es das Ziel ist, dass die Studierenden informelle Spezifikationen umsetzen können, sowie sich Randfällen und möglicher Run-Time-Fehler bewusst werden.