Home > Products > PragmaDev Tracer

PragmaDev Tracer is a free tool for graphical requirements, properties, and traces using a standard graphical representation. Main characteristics are:

  • Express the requirements,
  • Trace your system behavior on-line or off-line,
  • Define the properties of your system,
  • Verify the trace matches the requirements and the properties.

Technical characteristics

  • Easy connexion
    Connexion to the tracer is done through a socket with a possibility of acknowledgement of each information received.
  • Integration in your testing or development environment
    The tracer can be started in text mode and in batch mode and control commands can be received through the socket.
  • Integration with PragmaDev Studio
    Applications generated by PragmaDev Studio code generator embeds tracing information allowing to directly trace execution on target live through an IP connection.
  • Easy documentation
    Generates PNG, PostScript and HTML or copy/paste to word processors for easy documentation.
  • Property match
    PragmaDev Tracer can verify requirements and properties on the traces.
  • Flexibility
    PragmaDev Tracer runs on Windows, Linux and MacOS.


PragmaDev tracer is a graphical tracing tool based on ITU-T Message Sequence Chart and on OMG UML2.0 Sequence Diagram standards. It provides graphical representations of :

  • Tasks,
  • States,
  • Messages,
  • Semaphores,
  • Timers,
  • Objects,
  • Alternatives,
  • Loops,
  • Time constraints,
  • Chain constraints.
Each event is related to system time information.

A Simple Trace
A Simple Trace

Property definition

PragmaDev tracer supports Property Sequence Chart (PSC) in order to define expected properties of a system. Within the PSC language, a property is seen as a relation on a set of exchanged system messages, with zero or more constraints. PSC may be used to describe both positive scenarios (i.e., the “desired” ones) and negative scenarios (i.e., the “unwanted” ones) for specifying interactions among the components of a system. PSC has both formal notation and operational semantics.

Property Sequence Chart
Property Sequence Chart

An example of a violated property
An example of a violated property

On-line demonstration

See a 13 minutes on-line presentation and demonstration of the PragmaDev Tracer V2.0:


Click here to get the brochure

PragmaDev Tracer is an integrated part of PragmaDev Studio. Download PragmaDev Studio and use PragmaDev Tracer features from within Studio. Download it here.