La nouvelle version de l’outil de PragmaDev introduit une approche unique de Model Based Testing
(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.
Emmanuel Gaudin, [email protected], +33 142741538, [email protected]
Share this article