PragmaDev annonce la sortie de la version 4.4 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 nouvelles fonctionnalités on retiendra :
La génération de modèles graphiques à partir d’un code existant, idéal pour la documentation de code écrit manuellement,
La vue graphique de cas de tests TTCN-3 permettant de visualiser la dynamique d’un scénario de test,
Un gestionnaire de test lors de la simulation de cas de tests TTCN-3 incluant des informations de log,
Les canvas de génération de code comprennent maintenant le support de FreeRTOS.