TRAM version 1.0 - Trace Analyse Modules for Tulip

(C) 2005 Tim Schürmann

Download latest version (on sourceforge.net): TRAM Version 1.0

TRAM is released under the terms of the GNU GPL license.


TRAM - Trace Analyse Module für Tulip
(Deutsch)
TRAM - Trace Analyse Modules for Tulip
(English)
TRAM ist eine Modulsammlung für die Software Tulip (siehe www.tulip-software.org), welche auf diese Weise um Analyse- und Darstellungsfunktionen für Tracedaten erweitert wird.

Ein Trace ist ein Protokoll, in dem alle auftretenden Aktionen und Ereignisse eines ausgeführten (Software-)Systems notiert werden. Erzeuger sind beispielsweise Simulatoren oder Debugger (Testwerkzeuge).
Beispiel: Während einer Simulation wird jeder darin ausgeführte Schritt in einer Datei protokolliert. Das Ergebnis ist eine Abfolge von Ereignissen und Aktionen, der so genannte Trace.

Der Trace dient anschließend als Grundlage für eine (Fehler-)Analyse des betrachteten oder simulierten Systems.
TRAM is a collection of modules for the sofware Tulip (see www.tulip-software.org), which is extended in this way to analyse and display trace-data.

A trace is a protocol, in which all arising actions and events of a running (software-)system are stored. Traces are produced in example by simulators or debugger (testtools).
Example: During a simulation each executed step is written to a file. The result is a succession of events and actions, the so called trace.

After that, the trace is used as a base for an (error-)analysis of the (simulated) system.
Im Gegensatz zu anderen Werkzeugen bietet TRAM:
  • Unterstützung für große Traces (zur Darstellung wird die OpenGL-Schnittstelle und somit die 3D-Grafikkarte verwendet).
  • Behandlung beliebiger Nachrichten bei einer dynamischen Prozessmenge (beliebige Kommunikationsteilnehmer dürfen zerstört und erzeugt werden).
  • Eine dreidimensionale Darstellung von Kommunikationsgraphen, Wartegraphen und Sequenzdiagrammen (Message Sequence Charts, MSCs).
  • Eine Einfärbung schafft eine bessere Übersicht.
  • Erste, einfache Ansätze für eine Analyse (Mustererkennung, Finden von wiederkehrenden Globalzuständen, LTL-Model Checking).

In contrast to other tools, TRAM offers:
  • Support for large traces (the OpenGL-library and with this the 3D-graphic card is used for visualisation).
  • Processing of a dynamic set of process (arbitrary communication participants can be destroyed or created) with arbitrary messages.
  • A three-dimensional view of communication-graphs, wait graphs and sequence-diagrams (also known as message sequence charts, MSCs)
  • Additional dying for a better overview.
  • Some simple analyse methods (like pattern-recognition, search for repeated global states, LTL model checking).
Anmerkungen:
TRAM entstand im Rahmen meiner Diplomarbeit. Aufgrund der begrenzten Zeitspanne sind die Module noch verbesserungswürdig. Dazu zählt insbesondere ein Redesign des Codes und eine Überarbeitung der Kommentare (deren Rechtschreibung und Grammatik ist nicht besonders gut).
Darüber hinaus liegen bereits Ideen für eine erweiterete, zweite Version mit zusätzlichen Funktionen vor.

Kommentare, Anregungen und Hinweise sind daher immer willkommen.
Remarks:
TRAM was written as a part of my diploma thesis in computer science. Due to the restricted time the modules in their current form need an improvement. Especially a redesign of the code and a correction of the comments is necessary (there are lots of spelling and grammar errors). Further there are ideas for a second, extended version with additional functions.
(And, well, my english isn't very good :) - so a big sorry goes out to all readers and native speakers.)

So comments, hints or suggestions are always welcome.


Voraussetzungen/Requirements:

Download:



See also: www.tim-schuermann.de / Contact: tischuer@yahoo.de
SourceForge.net Logo