Accueil > Produits > PragmaDev Tracer


PragmaDev Tracer est un outil gratuit qui permet d'exprimer un besoin, une propriété, ou de tracer un comportement avec une représentation graphique standard. Ses principales fonctionnalités sont:

  • Exprimer un besoin,
  • Tracer le comportement d'un système lors de l'exécution ou à posteriori,
  • Définir les propriétés d'un système,
  • Vérifier que les propriétés sont vérifiées sur les traces d'exécution obtenues.


Caractéristiques techniques

  • Connection facile
    La connection au traceur se fait via une socket avec la possibilité d'acquittement de chaque information reçue.
  • Intégration dans votre environnement de test ou de développement
    Le traceur peut être démarré en mode texte et dans un traitement par lot (batch), et les commandes de contrôle peuvent être reçues via la socket.
  • Intégration avec PragmaDev Studio
    Les applications dont le code a été généré par PragmaDev Studio embarquent les informations de trace permettant une visualisation lors de l'exécution sur cible à travers une connection IP.
  • Documentation facile
    L'outil peut générer des fichiers PNG, PostScript et des documents HTML; mais il est aussi possible de copier/coller directement dans un traitement de texte.
  • Vérification de propriétés
    PragmaDev Tracer peut vérifier des besoins et des propriétés sur les traces.
  • Flexibilité
    PragmaDev Tracer fonctionne sous Windows, Linux et MacOS.

Fonctionnalités

PragmaDev tracer est un outil graphique basé sur les Message Sequence Chart de l'Union Internationale des Télécommunications et sur les diagrammes de séquence UML2.0 de l'OMG. Il est possible de représenter:

  • Taches,
  • Etats,
  • Messages,
  • Sémaphores,
  • Temporisateurs,
  • Objets,
  • Alternatives,
  • Boucles,
  • Contraintes de temps,
  • Enchainements de contraintes.
Chaque évènement est accompagné du temps système.

Une trace simple
Une trace simple

Définition de propriétés

L'outil PragmaDev Tracer supporte les Property Sequence Chart (PSC) pour définir les propriétés attendues d'un système. Dans la notation PSC, une propriété est vue comme une relation causale entre différents évènements accompagnée de contraintes. Le PSC peut être utilisé pour décrire des scénarios attendus ou des scénarios interdits entre les composants d'un système. Le PSC est caractérisé par une notation formelle et une sémantique opérationnelle.

Property Sequence Chart
Property Sequence Chart

Un exemple de propriété violée
Un exemple de propriété violée


Démonstration en ligne

Découvrez PragmaDev Tracer dans cette courte vidéo de 13 mn:


Brochure


Cliquez ici pour obtenir la brochure

PragmaDev Tester fait partie de PragmaDev Studio. PragmaDev Studio est gratuit pour les petits projets et dans le cadre de l'enseignement. Vous pouvez le télécharger ici.