Statische Analyse von C-Programmen (staAnaCPr)

Art der Arbeit:

Master Thesis

Betreuer:

Al Sardy, Loui
Lehrstuhl für Informatik 11 (Software Engineering)
Telefon +49-9131-85-27878, Fax 28746, E-Mail: loui.alsardy@fau.de

Beschreibung der Arbeit:

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 geeignete 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 Kontrollflusskriterien, 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.

Weitere Informationen zur Arbeit:

http://www11.informatik.uni-erlangen.de/Aktuelles/SA_DA/index.html

Schlagwörter:

Software Engineering; Programmierung; Statische Analyse; Analyse; C Code; C Programmierung

Bearbeitungszustand:

Die Arbeit ist noch offen.