PragmaDev annonce la sortie de la version 4.6 de RTDS, son outil de développement et de test orienté modèle dédié aux applications communicantes.

L'outil s’appuie sur des technologies formelles de modélisation et de test permettant la simulation, la vérification, le prototypage, la génération de code, et la génération de test.

Parmi les 18 nouvelles fonctionnalités on retiendra:

• Simulateur de déploiement Les communications mobiles, le M2M, et l’internet des objets déploient des milliers ou des millions de petits systèmes qui forment des systèmes de systèmes complexes. Le simulateur de déploiement de PragmaDev a pour objectif de s’assurer que ces topologies de déploiement ne modifient pas les fonctionnalités. Les scénarios de simulation de l’ensemble du système peuvent être décrits sous forme de fichiers textuels et sont exécutés automatiquement par le simulateur. Des traces graphiques d’exécution peuvent être obtenues au cours de la simulation, ou rejouées a posteriori avec la possibilité d’exécuter pas à pas.

• Traçabilité interne La nouvelle version de RTDS permet d’importer des fichiers d’exigences au format textuel. L’utilisateur garde en interne dans l’outil le lien de l’exigence vers le modèle la couvrant, et l’outil de test fera automatiquement le lien avec les tests couvrant cette partie du modèle. Au final l’analyse d’impact est immédiat et il est possible de déterminer quels jeux de tests doivent être rejoués si une exigence a été modifiée. L'éditeur souligne que cette fonctionnalité est indispensable dans le cadre d’une démarche de certification.

• Simulation d’interruption Afin de simuler une interruption le simulateur de modèle de RTDS permet d’appeler une procédure dans le cours de l’exécution d’une transition, de modifier les valeurs des variables, et de rendre l’exécution à la transition comme le ferait une interruption.

Site : http://www.pragmadev.com