Navigation/Menü: Links auf weitere Seiten dieser Website
Objekt-Metadaten
| A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java Bokowski, Boris |
| Main title | A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java |
| Title variations | Ein Framework zur Überprüfung von Programmier-Constraints bezüglich der Definition und der Benutzung von Programmelementen in Java |
| Author(s) | Bokowski, Boris
Place of birth: Berlin, Deutschland |
| 1. Referee | Prof. Dr. Klaus-Peter Löhr |
| Further Referee(s) | Prof. Dr. Stefan Jähnichen Prof. Dr. Theo D'Hondt |
| Keywords | Programming Constraints, Automatic Checking, FrameworksD.2.4, D.3.3 |
| Classification (DDC) | 004 Data processing and Computer science |
| Summary | Das korrekte Funktionieren komplexer objektorientierter Software beruht auf der Einhaltung anwendungsspezifischer Programmierrichtlinien, die sich sowohl auf die richtige Definition von Programmbestandteilen als auch auf deren richtige Benutzung beziehen können. Die Dissertation beschreibt ein System CoffeeStrainer, das Java-Programmierern einen Rahmen für die Spezifikation solcher Programmierrichtlinien bereitstellt und sie anhand von Java-Quelltext automatisch überprüft. Das System zeichnet sich dadurch aus, daß die Programmierrichtlinien modular, erweiterbar und komponierbar sind, und daß sowohl Definitions- als auch Benutzungsrichtlinien gleichermaßen unterstützt werden. Programmierrichtlinien können sich auf die statische Struktur eines Programms oder auf die Ausführung eines Programms beziehen; außerdem ist es möglich, hybride Richtlinien zu formulieren, die aus statischen und dynamischen Anteilen bestehen. Das System ist vollständig implementiert und stellt den Programmierrichtlinien das vollständige zu überprüfende Programm als abstrakten Syntaxbaum mit zusätzlichen semantischen Informationen zur Verfügung. CoffeeStrainer überprüft Übersetzungseinheiten jeweils separat und benötigt zur Überprüfung einer Übersetzungseinheit vergleichbar viel Zeit wie ein Übersetzer für ihre Übersetzung. Im Gegensatz zu anderen Arbeiten auf dem Gebiet wird keine spezielle Sprache zur Formulierung von Programmierrichtlinien definiert - stattdessen wird die Sprache Java verwendet, um erfahrenen Java-Programmierern die Benutzung des Systems zu erleichtern. Programmierrichtlinien sind in das Programm in Form von sogenannten "formalen Kommentaren" der Sprache Java integriert und beziehen sich logisch jeweils auf den kommentierten Programmteil, wodurch ihre Struktur sich an die Struktur des Programms anlehnt. Außerdem ermöglicht diese Technik, daß vorhandene Übersetzer und andere Werkzeuge, die auf den Quelltext zugreifen, weiterhin benutzt werden können.^ |
| Documents |
FUDISS_derivate_000000000609
If your browser can't open the file, please download the file first and then open it
|
| FU Department | Department of Mathematics and Computer Science |
| Year of publication | 2002 |
| Document type | Doctoral thesis |
| Media type/Format | Text |
| Language | English |
| Terms of use/Rights | Nutzungsbedingungen |
| Date of defense | 2000-06-29 |
| Created at | 2002-02-15 : 12:00:00 |
| Last changed | 2010-02-19 : 01:02:55 |
| Old Darwin URL | http://www.diss.fu-berlin.de/2002/21/ |
| Static URL | http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000000609 |
| NBN | urn:nbn:de:kobv:188-2002000210 |
| Statistics | |
