Bibliography | Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2135 (2004). 130 pages, german.
|
CR-Schema | 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)
|
Abstract | 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.
|
Full text and other links | PDF (1091967 Bytes) Access to students' publications restricted to the faculty due to current privacy regulations |
Contact | dietrich.haak@gmx.net |
Department(s) | University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
|
Project(s) | Bauhaus
|
Entry date | March 4, 2004 |
---|