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

Bachelor thesis

Instrumentierung von C-Programmen zur dynamischen Datenflussanalyse

(Original Title:Instrumentierung von C-Programmen zur dynamischen Datenflussanalyse)

 

Summarisation

Zum datenflussorientierten Testen von in der Programmiersprache C implementierten Programmen gehört die Bestimmung der während der Programmausführung erfolgten Schreib-/Lesevorgänge. Diese dynamische 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 automatisierten Instrumentierung von C-Programmen zu konzipieren und in Java zu implementieren, das während der Ausführung der instrumentierten Programme alle zur anschließenden Bestimmung der überdeckten Entitäten relevanten Informationen zu protokollieren erlaubt.

Anschließend ist das automatisierte Verfahren zu dokumentieren und dessen Einsetzbarkeit anhand geeigneter Beispiele zu demonstrieren.

Author: Paul Prade

Tutor: Dipl.-Math. Lars von Wardenburg