Blick ins Buch

Statische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Jinhua Li (Autor)

Buch | Hardcover

172 Seiten

1999
Kovac, Dr. Verlag
978-3-86064-870-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Titel leider nicht mehr lieferbar

Artikel merken

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die Wartung bestehender Software. Diese Situation macht eine verbesserte Unterstützung der Softwarewartung durch entsprechenden Methoden und Werkzeuge immer dringlicher. Mit der Ausbreitung der Objektorientierung stellt sich die gleiche Frage, wie objektorientierte Software zu warten sind. Das Buch beschäftigt sich mit der Wartungsunterstützung für objektorientierte Applikationen durch statische Programmanalyse. Ein Programmierer muss ein Programm verstehen, bevor er das Programm warten kann. Er muss eine gewünschte Änderung im Programm lokalisieren, mögliche Auswirkungen der Änderung auf andere Programmteile identifizieren, die Änderung durchführen sowie den Test vorbereiten und eventuell durchführen. Für diese Wartungsaufgaben benötigt man sowohl genaue Informationen des gewarteten Programms als auch maschinelle Unterstützung. Für objektorientierte Programme in dynamisch typisierten Sprachen wie SMALLTALK setzt der Verfasser zur Ermittlung von Programminformationen eine neue statische Analysetechnik ein, die auf constraintbasierter Typinferenz beruht. Diese Arbeit b einen Rahmen zur statischen Flussanalyse für objektorientierte Programme auf, beschreibt eine Implementierung dieses Rahmens mit Rücksicht auf alle SMALLTALK-Konstrukte. Zwei neue Ansätze zum Navigieren in Applikationen und zur Auswirkungsanalyse von Änderungen werden präsentiert. Den beiden Ansätzen liegen die von der Flussanalyse gelieferten präzisen Programminformationen, insbesondere semantische Beziehungen zwischen verschiedenartigen Programmkomponenten, zugrunde. Mit Hilfe der Programmanalyse wird die omatische Konvertierung eines Programms in Hypertext ohne Programmtransformation realisiert. Die Auswirkungsanalyse gibt eine Übersicht über die Struktur und Zusammenhänge eines Programms. Auf Details des Programms geht das Navigationswerkzeug ein. Die zwei sich ergänzenden Ansätze werden auf Basis von Hypertext- und Graphentechniken in einem Wartungswerkzeug, Applikation-Explorer, integriert.

Reihe/Serie	Schriftenreihe Forschungsergebnisse zur Informatik ; 43
Zusatzinfo	63 Abb.
Verlagsort	Hamburg
Sprache	deutsch
Maße	150 x 210 mm
Gewicht	224 g
Einbandart	gebunden
Themenwelt	Informatik ► Software Entwicklung ► Objektorientierung
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	auswirkungsanalyse • HC/Informatik, EDV/Informatik • Informatik • Objektorientierung • Programmierung • Regressionstest • SALLTALK • Softwarewartung • Statische Analyse • Typinferenz
ISBN-10	3-86064-870-5 / 3860648705
ISBN-13	978-3-86064-870-4 / 9783860648704
Zustand	Neuware