Protagonisten der Entrepreneurship-Forschung, –Lehre und –Praxis treffen sich vom 07. bis 08. November 2013 auf dem G-Forum in Koblenz
Stellenanzeige wissenschaftlicher Mitarbeiter AG Verwaltungsinformatik
Generische Umgebung zum Programmverstehen (GUPRO)
Projektbeschreibung
GUPRO ist ein Generator zur Erzeugung vonProgrammverstehenswerkzeugen, der das Nachvollziehen und Verstehen auch heterogener Software beliebiger Programmiersprachen unterstützt. GUPRO-Werkzeuge existieren für die Untersuchung von C und Ada-Programmen auf der Ebene abstrakter Syntaxbäume und zur Analyse von Systemene deren Quellcode aus unterschiedlichen Sprachen besteht.
GUPRO wurde ferner zur Unterstützung der Untersuchung von sicherheitskritischer Software mit dem Ziel der Zertifizierung ergänzt.
Funktionalitat
- Analyseergebnisse können in GUPRO sowohl in Tabellenform als auch durch markierten Quelltext visualisiert werden.
- Zur Untersuchung von Softwaresystemen, deren Quelltexte Präprozessoranweisungen enthalten, ermöglicht eine Folding Komponente die Analyse des präprozessierten Quelltexts, während die Ergebnisvisualisierung sowohl auf Basis des Original-Quelltextes als auch auf der Präprozessor-Ausgabe erfolgen kann.
Projektinformationen
Mitarbeiter
-
B 121
-
+49 261 287-2706
- riediger at uni-koblenz.de
-
B 108
-
+49 261 287 -2722
- ebert at uni-koblenz.de
Literatur
Veröffentlichungen
2003
Volker Riediger, David Werner, Andreas Winter: Export und Visualisierung von GUPRO-Projektgraphen. Universität Koblenz-Landau, Institut für Softwaretechnik. 2003. Projektbericht. Koblenz. 2002
Jürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter: GUPRO. Generic Understanding of Programs - An Overview. 2002. 72. Electronic Notes in Theoretical Computer Science. 2. 2001
Manfred Kamp, Bernt Kullbach: GReQL - Eine Anfragesprache für das GUPRO-Repository - Sprachbeschreibung (Version 1.3). Universität Koblenz-Landau, Institut für Softwaretechnik. 2001. Projektbericht. Koblenz.
Bernt Kullbach, Georg Schmitz: Dokumentation des Ada-Parsers für GUPRO. Universität Koblenz-Landau, Institut für Softwaretechnik. 2001. Projektbericht. Koblenz.
Carola Lange: Applying GUPRO to GEOS. A Case Study. Universität Koblenz-Landau, Institut für Softwaretechnik. 2001. Projektbericht. Koblenz.
Volker Riediger: The GUPRO C Parser. Universität Koblenz-Landau, Institut für Softwaretechnik. 2001. Projektbericht. Koblenz.
Volker Riediger: The GUPRO C Preprocessor. Universität Koblenz-Landau, Institut für Softwaretechnik. 2001. Projektbericht. Koblenz. 1999
Vinh Hong, Bernt Kullbach, T. Pühler, Andreas Winter: Architektur und Design des GUPRO-Clients. Universität Koblenz-Landau, Institut für Softwaretechnik. 1999. Projektbericht. Koblenz.
Vinh Hong: Der GUPRO-Prototyp in Java. Universität Koblenz-Landau, Institut für Softwaretechnik. 1999. Projektbericht. Koblenz. 1998
Jürgen Ebert: Die Geschichte von GUPRO. 1998. Föllbach. pp 3-10. 1.
Jürgen Ebert, Manfred Kamp, Andreas Winter: GUPRO: A Generic System to Support Multi-Language Understanding of Heterogeneous Software. 1998. kein Verlag zugeordnet. pp 11-30. 2.
Manfred Kamp: GReQL - eine Anfragesprache für das GUPRO-Repository. in Jürgen Ebert, Rainer Gimnich, H. Stasch, Andreas Winter: GUPRO -- Generische Umgebung zum Programmverstehen. 1998. kein Verlag zugeordnet. pp 173-202.
Andreas Winter: GUPRO Benutzungshandbuch - Ein Kurzeinführung. in Jürgen Ebert, Rainer Gimnich, H. Stasch, Andreas Winter: GUPRO -- Generische Umgebung zum Programmverstehen. 1998. kein Verlag zugeordnet. pp 219-236.
Manfred Kamp: GReQL - Eine Anfragesprache für das GUPRO-Repository - Sprachbeschreibung (Version 1.2). Universität Koblenz-Landau, Institut für Informatik. 1998. Fachberichte Informatik. Koblenz. 1997
Peter Dahm: Fehlerbehandlung im Projekt GUPRO. Universität Koblenz-Landau, Institut für Softwaretechnik. 1997. Projektbericht. Koblenz.
Manfred Kamp, N. Südkamp, Andreas Winter: Architektur des GUPRO-Systems - Ein Diskussionspapier. Universität Koblenz-Landau, Institut für Softwaretechnik. 1997. Projektbericht. Koblenz. 1996
Rainer Gimnich: Verbundprojekt GUPRO -- Eine generische Umgebung zum Programmverstehen. in U. Grote, G. Wolf: Statusseminar des BMBF: Softwaretechnologie 1996. 25.-26. März 1996, Berlin. 1996. Projektträger Informationstechnik des BMBF bei der DLR.
Jürgen Ebert, Rainer Gimnich, Andreas Winter: Wartungsunterstützung in heterogenen Sprachumgebungen, Ein Überblick zum Projekt GUPRO. in Franz Lehner: Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. 1996. Gabler Verlag. Wiesbaden. pp 263-275.
Peter Dahm: GUPRO-Programmierstandards. Universität Koblenz-Landau, Institut für Softwaretechnik. 1996. Projektbericht. Koblenz.
Peter Dahm, C. Gilles: Lokale Symboltabellen für GUPRO-Parser. Universität Koblenz-Landau, Institut für Softwaretechnik. 1996. Projektbericht. Koblenz.
Manfred Kamp: GReQL - eine Anfragesprache für das GUPRO-Repository 1.1. Universität Koblenz-Landau, Institut für Softwaretechnik. 1996. Projektbericht. Koblenz.
Friedbert Widmann, T. Schumm, Andreas Winter: GUPRO-Stylefile - Benutzungshinweise. Universität Koblenz-Landau, Institut für Softwaretechnik. 1996. Projektbericht. Koblenz. 1995
T. Schumm, Andreas Winter: GUPRO-Stylefile. Universität Koblenz-Landau, Institut für Softwaretechnik. 1995. Projektbericht. Koblenz.