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 |
Kontakt | dietrich.haak@gmx.net |
Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
|
Projekt(e) | Bauhaus
|
Eingabedatum | 4. März 2004 |
---|