Empirische Bewertung verschiedener Ansätze der Datenflussanalyse

Abstract

Diese Diplomarbeit behandelt die Frage, ob es einen Ansatz gibt, der für alle Datenflussprobleme gleichermaßen geeignet ist und falls nicht, welche Ansätze sich für welches Datenflussproblem am besten eignen und warum. Zu diesem Zweck werden verschiedene Datenflussprobleme ausgewählt, die dann mit unterschiedlichen Ansätzen empirisch miteinander verglichen werden. Dafür wurde ein Interface implementiert, das es ermöglicht, unterschiedliche Ansätze einfach miteinander zu vergleichen. Für die mit Hilfe dieses Interfaces implementierten Datenflussanalysen sollen nun, anhand repräsentativer Testprogramme, die Ausführungscharakteristika vermessen und beurteilt werden.

This thesis addresses the question whether an approach exists that can be applied to all data flow problems and, if this is not the case, which approach would be the most suitable for a certain data flow problem and why. Different data flow problems will be selected for this purpose, which will subsequently be compared empirically by applying different approaches. An interface was implemented to this end which allows different approaches to be compared with each other. The characteristic execution features of the data flow analyses, which were implemented with the assistance of this interface, shall now be gauged and assessed by means of representative test programs.