PragmaDev MSC Tracer provides on-line or off-line traces of your target behavior with
a standard graphical representation. Main characteristics are:
Self-document your test campaigns,
Check non-regression,
Easy connexion.
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 Real Time Developer Studio
PragmaDev Real Time Developer Studio automatically supports MSC tracer interface. Applications generated by Real Time Developer Studio code generator embeds MSC Tracer information allowing to directly trace execution on target live through an IP connexion.
Easy documentation
Generates PNG, PostScript and HTML or copy/paste to word processors for easy documentation.
Conformance
Visually compare MSC diagrams to check conformance to a specification or non-regression of your system under test.
Flexibility
PragmaDev MSC Tracer runs on Windows, Solaris, and Linux. It uses floating licenses that can be distributed over a network.
Features
PragmaDev MSC 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 :
