MtoM Mag - Le journal de l'MtoM.

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’exigeances au format textuel. L’utilisateur garde en interne dans l’outil le lien de l’exigeance 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édiate et il est possible de déterminer quels jeux de tests doivent être rejoués si une exigence a été modifiée. 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 transiton comme le ferait une interruption.

Cette nouvelle version apporte des fonctionnalités uniques sur le marché pour le déploiement des systèmes de systèmes et la certification.

http://www.pragmadev.com