Static and dynamic a... Theses on offer Static and dynamic a...

Master thesis

static analysis of C Programs

(Original Title:Statische Analyse von C-Programmen)

 

Summarisation

Zum datenflussbasierten Testen von C-Programmen gehört eine vorausgehende Bestimmung aller im Laufe der Programmausführung potentiell auftretender Schreib-/Lesevorgänge. Diese statische Datenflussanalyse ist Hauptgegenstand der Aufgabenstellung. Zu diesem Zwecke hat zunächst eine vergleichende Untersuchung existierender datenflussbasierter Überdeckungskonzepte (darunter auch die von Weyuker und von Alexander eingeführten Begriffe) zu erfolgen, auf deren Basis eine geeigne-te Auswahl an Testüberdeckungskriterien zu treffen ist. Darauf aufbauend ist ein Verfahren zur statischen Datenflussanalyse von C-Programmen zu konzipieren und zu implementieren, das die gängigen Kontroll-flusskriterien, Kriterien nach Rapps und Weyuker und die von Jin und Offutt umsetzt. Insbesondere soll eine fluss- und kontextsensitive points-to-Analyse mit umgesetzt werden. Anschließend ist das automatisierte Verfahren zu dokumentieren und dessen Einsetzbarkeit anhand geeigneter Beispiele zu demonstrieren.

Tutor: M. Eng. Loui Al Sardy