Gupro

Beschreibung

Die Generische Umgebung zum Programmverstehen (GUPRO) ist ein Werkzeug für die Programmanalyse und das Programmverstehen unter Verwendung von Graphentechnologie und basierend auf Metatechnologie.

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.

Offizielle Webpräsenz

Die gegenwärtigen Arbeiten im Programmverstehenssystem GUPRO bauen auf dem BMBF-Geförderten Projekt GUPRO auf. Mehr Informationen hierzu gibt es auf der offiziellen Webpräsenz des BMBF GUPRO-Projektes.

 

Literatur

2003

Riediger2003EUV
Riediger, Volker; Werner, David; Winter, Andreas (2003): Export und Visualisierung von GUPRO-Projektgraphen. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 4/03. Projektbericht.

2002

Ebert2002GGU
Ebert, Jürgen; Kullbach, Bernt; Riediger, Volker; Winter, Andreas (2002): GUPRO. Generic Understanding of Programs - An Overview. In: Electronic Notes in Theoretical Computer Science. Bd. 72. Nr. 2.

2001

Kamp2001GEA
Kamp, Manfred; Kullbach, Bernt (2001): GReQL - Eine Anfragesprache für das GUPRO-Repository - Sprachbeschreibung (Version 1.3). Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 8/01. Projektbericht.

Kullbach2001DDA
Kullbach, Bernt; Schmitz, Georg (2001): Dokumentation des Ada-Parsers für GUPRO. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 9/01. Projektbericht.

Lange2001AGT
Lange, Carola (2001): Applying GUPRO to GEOS. A Case Study. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 7/01. Projektbericht.

Riediger2001TGC
Riediger, Volker (2001): The GUPRO C Parser. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 5/01. Projektbericht.

Riediger2001TGC1
Riediger, Volker (2001): The GUPRO C Preprocessor. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 4/01. Projektbericht.

1999

Hong1999AUD
Hong, Vinh; Kullbach, Bernt; Pühler, T.; Winter, Andreas (1999): Architektur und Design des GUPRO-Clients. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 3/99. Projektbericht.

Hong1999DGI
Hong, Vinh (1999): Der GUPRO-Prototyp in Java. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 2/99. Projektbericht.

1998

Ebert1998DGV
Ebert, Jürgen (1998): Die Geschichte von GUPRO. In: Winter, Andreas; Stasch, H.; Gimnich, Rainer; Ebert, Jürgen: GUPRO - Generische Umgebung zum Programmverstehen. Föllbach. S. 3-10.

Ebert1998GAG
Ebert, Jürgen; Kamp, Manfred; Winter, Andreas (1998): GUPRO: A Generic System to Support Multi-Language Understanding of Heterogeneous Software. In: GUPRO - Generische Umgebung zum Programmverstehen. kein Verlag zugeordnet. S. 11-30.

Kamp1998GEA1
Kamp, Manfred (1998): GReQL - eine Anfragesprache für das GUPRO-Repository. In: Winter, Andreas; Stasch, H.; Gimnich, Rainer; Ebert, Jürgen: GUPRO -- Generische Umgebung zum Programmverstehen. kein Verlag zugeordnet. S. 173-202.

Winter1998GBE
Winter, Andreas (1998): GUPRO Benutzungshandbuch - Ein Kurzeinführung. In: Winter, Andreas; Stasch, H.; Gimnich, Rainer; Ebert, Jürgen: GUPRO -- Generische Umgebung zum Programmverstehen. kein Verlag zugeordnet. S. 219-236.

Kamp1998GEA
Kamp, Manfred (1998): GReQL - Eine Anfragesprache f. Koblenz: Universität Koblenz-Landau, Institut für Informatik. Nr. 14/98. Fachberichte Informatik.

1997

Dahm1997FIP
Dahm, Peter (1997): Fehlerbehandlung im Projekt GUPRO. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 7/97. Projektbericht.

Kamp1997ADG
Kamp, Manfred; Südkamp, N.; Winter, Andreas (1997): Architektur des GUPRO-Systems - Ein Diskussionspapier. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 4/97. Projektbericht.

1996

Kamp1996GEA
Kamp, Manfred (1996): GReQL - eine Anfragesprache für das GUPRO-Repository 1.1. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 8/96. Projektbericht.

Gimnich1996VGE
Gimnich, Rainer (1996): Verbundprojekt GUPRO -- Eine generische Umgebung zum Programmverstehen. In: Grote, U.; Wolf, G.: Statusseminar des BMBF: Softwaretechnologie 1996. 25.-26. März 1996, Berlin. Projektträger Informationstechnik des BMBF bei der DLR.

Ebert1996WIH
Ebert, Jürgen; Gimnich, Rainer; Winter, Andreas (1996): Wartungsunterstützung in heterogenen Sprachumgebungen, Ein Überblick zum Projekt GUPRO. In: Lehner, Franz: Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Wiesbaden: Gabler Verlag. S. 263-275.

Dahm1996G
Dahm, Peter (1996): GUPRO-Programmierstandards. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 2/96. Projektbericht.

Dahm1996LSF
Dahm, Peter; Gilles, C. (1996): Lokale Symboltabellen für GUPRO-Parser. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 7/96. Projektbericht.

Widmann1996GB
Widmann, Friedbert; Schumm, Thomas; Winter, Andreas (1996): GUPRO-Stylefile - Benutzungshinweise. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 10/96. Projektbericht.

1995

Schumm1995G
Schumm, Thomas; Winter, Andreas (1995): GUPRO-Stylefile. Koblenz: Universität Koblenz-Landau, Institut für Softwaretechnik. Nr. 3/95. Projektbericht.