Industrie Mag - Le journal de l'industrie.
- accueil .
- newsletter .
Flux RSS . - soumissions .
- publicité .
- contacts
Flux RSS .
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.
