Statische und dynami... Studien- und Diploma... Statische und dynami...

Masterarbeit

Statische Analyse von C-Programmen

 

Beschreibung

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.

Betreuer: Dipl.-Math. Lars von Wardenburg