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

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.

  • Share on TwitterShare on FacebookShare on Google+Share on LinkedInEmail a friend

(PRWEB) 17 Mai 2014

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.


Contact

  • Emmanuel Gaudin
    emmanuel.gaudin@pragmadev.com
    +33 142741538
    Email

Fichiers joints