Accueil > Produits > PragmaDev Developer


PragmaDev Developer aide les développeurs à définir leur architecture logicielle et le comportement concurrent des différents agents. L'outil a pour objectif d'augmenter le niveau d'expertise en:

  • se concentrant sur les aspects fonctionnels,
  • définissant une architecture logicielle claire,
  • écrivant une conception portable,
  • facilitant la maintenance,
  • générant la documentation automatiquement,
  • améliorant la qualité d'un rapport 5.
L'architecture et le comportement de haut niveau des différents agents sont décrits avec des symboles graphiques. Le comportement détaillé est écrit en C et C++ dans le modèle graphique ce qui assure la cohérence entre le modèle et le code.

Le code est intégré dans le modèle
Modèle de machine d'état PragmaDev Developer.

Une fois que le modèle est validé sur la station de développement le code peut être généré pour une cible. Le code généré peut s'exécuter seul avec l'ordonnanceur fourni, ou avec n'importe quel exécutif temps réel. Le code généré peut être personnalisé et nous avons pris soin de générer un code lisible et compréhensible.

La technologie de modélisation est prête à l'usage et l'équipe d'ingénierie peut se consacrer immédiatement sur son travail plutôt que sur son outillage. Les concepts sous-jacents au modèle sont ceux avec lesquels les ingénieurs sont familiers tels que: les machines d'état, les files d'attente, les timers, les sémaphores, les procédures...

Le code existant est facile à intégrer car le code C/C++ fait partie intégrante de la technologie de modélisation. L'outil propose une connection avec les débogueurs et les débogueurs croisés du marché qui permet le débogue au niveau du modèle que ce soit sur hôte ou sur cible.

Débogueur de modèle sur cible ou sur hôte
Débogueur de modèle PragmaDev Developer.

Gardez le contrôle

Le code généré peut embarquer:
  • des informations de trace pour le traceur PragmaDev Tracer,
  • des traces des évènements antérieurs pour une analyse à poseriori,
  • des informations de couverture pour s'assurer que toutes les branches ont été testées.
Le débogueur de modèle génère des traces d'exécution et offre trois niveaux de pas à pas dans le modèle:
  • Evènement par évènement.
  • Graphiquement dans les diagrammes.
  • Textuellement dans le code généré.

Il est possible de faire du pas à pas graphiquement dans le modèle ou dans le code généré mais aussi de passer de l'un à l'autre:

Une trace peut être générée lors de l'exécution afin de suivre les système sous test:

Trace générée lors de l'exécution
Trace générée lors de l'exécution sur cible

Démonstration en ligne

Découvrez les fonctionnalités de base dans cette démonstration rapide.


PragmaDev Developer 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.

Si vous souhaitez plus d'information: