La nouvelle version de l’outil de modélisation et de test logiciel de PragmaDev permet de générer un modèle à partir de code existant

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.

  • Share on TwitterShare on FacebookShare on Google+Share on LinkedInEmail a friend

Paris, France (PRWEB) 26 Janvier 2013

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.

PragmaDev est une société indépendante basée à Paris France qui fournit depuis plus de 10 ans une suite d’outils pour le développement et le test à base de modèles des applications temps réel et embarquées: Real Time Developer Studio.

PragmaDev compte parmi ses clients Airbus, Alcatel-Lucent, Renault, Wipro, Thomson, la DGA, ST-Ericsson, Korean Telecom, l’Agence Spatiale Européenne, Toshiba, et LG Electronics.


Contact

  • Emmanuel Gaudin
    emmanuel.gaudin@pragmadev.com
    0142741538
    Email