|
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.
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
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 Tracer 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.