Detailinformation

( Fenster schließen )

	Diplomarbeit
Titel	Kontrollflußanalyse
Autor	Pachinger, Martin
Erscheinungsjahr	1987
Abstract	Der Ursprung der Flußanalyse ist die Technik zur statischen Bestimmung der Eigenschaften eines Programms, welche in der Optimierungsphase eines Compilers ausgewertet werden. Die Flußanalyse dient dazu, die Eigenschaften des Laufzeitverhaltens eines Programmes aufzuzeigen, ohne es wirklich zu durchlaufen. Die aufgezeigten Eigenschaften sind für gewöhnlich auf alle möglichen Aufeinanderfolgen von Kontroll- und Datenfluß anzuwenden und geben so eine globale Information, die bei einem Einzeldurchlauf oder bei Durchsicht von nur einem Teil des Programmes nicht erhalten werden könnten. Die Informationen, die man durch die Flußanalyse erhält, können nicht nur für die Optimierungsphase des Compilers verwendet werden. Sie dienen auch dazu, exakte Behauptungen über die Richtigkeit eines Programmes aufstellen zu können, die Softwarezulässigkeit durch die Förderung der Entwicklung einer Programmdokumentation und der Automation eines großen Teiles des Debuggers zu verbessern und die Ausarbeitung eines inhalts- und zielorientierten Programmentwicklungssystems zu führen. Im allgemeinen ist es eine Methode zur endlichen Beschreibung, auf welche Art und Weise ein Programm die Daten verändert. Die sich daraus ergebende Beschreibung ist entweder gleich mit den im vorhinein aufgestellten Behauptungen, oder annähernd gleich mit der Entscheidung von Ausdrucksverwendbarkeit, mit der Herleitung der Datentypen von Variablen und mit vielen anderen Anwendungen. Während die tatsächliche Durchführung eines Programmes eine Folge von Zuständen erzeugt, durch die die Kontrolle und die Daten fließen, erzeugt die Flußanalyse eine sogenannte statische Semantik: für jeden möglichen Kontrollpunkt im Programm wird eine endliche Beschreibung von dem Satz der Datenzustände, in die das Programm während seiner Durchführung an diesem Punkt treten kann, angegeben.
Status	Verfügbar

( Fenster schließen )