En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés à vos centres d'intérêts. En savoir plus et gérer ces paramètres. OK X
 
 

 

 

Nouveaux produits

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

Publication: Juin 2014

Partagez sur
 
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.

Cette approche permet de générer des cas de test qui :

- couvrent toutes les transitions.

- ciblent une transition spécifique.

- vérifient une propriété statique.

- vérifient une propriété dynamique décrite sous la forme d’un observateur.

- Le support de Mac OS X en natif.

- L’introduction de nouveaux concepts de modélisation :

- Timer Supervised State introduit dans le SDL 2010.

- Symbole SDL et SDL-RT d’appel à la transition d’une super classe.

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.

http://www.pragmadev.com

Suivez Industrie Mag sur le Web

 

Newsletter

Inscrivez-vous a la newsletter d'Industrie Mag pour recevoir, régulièrement, des nouvelles du site par courrier électronique.

Email: