La nouvelle version de l’outil de PragmaDev introduit une approche unique de Model Based Testing

Share Article

PragmaDev annonce la sortie de la version 4.5 de RTDS, son outil de développement et de tests orienté modèle dédié aux applications événementielles.

L'outil propose trois niveaux de modélisation et de test: informel, semi-formel, et formel. Plus le modèle est formel plus l'outil offre des fonctionnalités telles que la vérification, le prototypage, la génération de code, et la génération de test.

Parmi les 35 nouvelles fonctionnalités on retiendra:

  • Résultat de la collaboration avec le CEA dans le cadre du laboratoire commun PragmaList, RTDS introduit une approche unique de Model Based Testing. La résolution symbolique, à opposer à une approche numérique classique, est beaucoup plus performante.
  • Le support de Mac OS X en natif.
  • L’introduction de nouveaux concepts de modélisation.

Cette nouvelle version apporte des fonctionnalités uniques sur le marché permettant l’utilisation de modèles pour la validation et le test des systèmes critiques.

Share article on social media or email:

View article via:

Pdf Print

Contact Author

Emmanuel Gaudin
emmanuel.gaudin@pragmadev.com
+33 142741538
Email >
Visit website

Media