Diplomarbeit DIP-2135

Bibliograph.
Daten
Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2135 (2004).
130 Seiten, deutsch.
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
D.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
D.3.3 (Programming Language Constructs and Features)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
F.3.2 (Semantics of Programming Languages)
Kurzfassung

Im Rahmen von Wartungstätigkeiten stehen Software-Entwickler oftmals vor der Aufgabe, Architekturinformationen aus Quellcode wiederzugewinnen. Eine konkrete Problemstellung ist dabei die Herleitung von Protokollen, d.h. von sequenziellen Abhängigkeiten der primitiven Operationen einer Komponente. Protokolle können dazu verwendet werden, neuen oder veränderten Code zu validieren. Diese Arbeit beschreibt zwei mögliche Ansätze, um Protokolle aus Spuren (das sind diejenigen Teile im Quellcode, die die untersuchte Komponente benutzen) herzuleiten, wobei die Spuren in Graphform durch ein Werkzeug zur Spurextraktion gegeben sind. Beide Ansätze werden einander gegenübergestellt und einer davon wird umgesetzt. Dabei wird zunächst ein Verfahren zur Ersetzung von inter-prozeduralen Zyklen, die in Spurgraphen auftreten, vorgestellt. Zuguterletzt werden Techniken zur Validierung von Protokollen gegen Spuren und umgekehrt beschrieben.

Volltext und
andere Links
PDF (1091967 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Kontaktdietrich.haak@gmx.net
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Projekt(e)Bauhaus
Eingabedatum4. März 2004
   Publ. Informatik