PragmaDev Studio est un ensemble d'outils qui aident à gérer la complexité inhérente aux systèmes modernes tant au niveau de la spécification, du développement, que du test.
PragmaDev Studio se compose de tous les autres modules PragmaDev Specifier, PragmaDev Developer, PragmaDev Tester, et PragmaDev Tracer, auxquels s'ajoutent des fonctionnalités avancées et des liens entre ces différents modules dans un environnement intégré. PragmaDev Studio est la solution idéale pour les petites ou les grandes organisations qui ont des besoins de modélisation ou de test dans une de ses phases de développement, que ce soit en spécification, en conception, ou en test.
Aux fonctionnalités des différents modules PragmaDev Specifier, PragmaDev Developer, PragmaDev Tester et PragmaDev Tracer, PragmaDev Studio propose en plus les fonctionnalités suivantes.
Vérification de modèle
Grace à la sémantique d'exécution du langage de modélisation, l'analyse du modèle peut être automatisée pour vérifier des propriétés. PragmaDev Studio intègre OBP (Observer Based Prover) du laboratoire de recherche de l'ENSTA Bretagne. La caractéristique clé de l’outil OBP est qu’il ne s’appuie sur aucun langage dédié mais sur un exécuteur de modèle externe. Au sein de PragmaDev Studio, OBP interagit avec l’exécuteur de modèle SDL pour explorer l’espace d’états. L’originalité est que OBP ne sait rien du modèle qu’il explore. Cette particularité permet de s'assurer que l'outil d'exploration interprète le modèle correctement et permet l'implémentation de fonctionnalités d'optimisation directement dans l'outil de modélisation.
Model based testing
Afin de valider le modèle, les parties prenantes utiliseront l'interface graphique connectée au simulateur de modèle. Tous ces scénarios peuvent être sauvegardés et convertis automatiquement en cas de tests qui peuvent être exécutés sur un testeur.
Collaborations
PragmaDev a établit de nombreux partenariats avec les plus grands laboratoires de recherche et participe régulièrement à des projets collaboratifs industriels. La collaboration la plus récente implique Airbus et le laboratoire de recherche de l'ENSTA Bretagne afin d'optimiser les processus métier. Les résultats très prometteurs ont amené à l'intégration d'OBP dans PragmaDev Studio.
PragmaDev Studio est gratuit pour les petits projets et pour l'enseignement. Vous pouvez le télécharger ici.
Présentation vidéo
Simulateur de déploiement
Dans les communications mobiles, le M2M, et l'internet des objets, des milliers voire des millions d'instances de petits systèmes sont déployées et forment un système de système complexe. Le simulateur de déploiement de PragmaDev Studio permet de vérifier qu'une topologie de déploiement fonctionnera correctement. Les caractéristiques du réseau et la topologie sont pris en considération. Lors de l'exécution l'outil génère des traces dynamiquement qui peuvent être rejouées à posteriori.
Le simulateur de déploiement peut exécuter simultanément un nombre important d'instances et permet de vérifier que le système dans son ensemble fonctionne correctement.
Simulateur de déploiement
Analyse de performance
Des informations de temps d'exécution et de consommation énergétique peuvent être ajoutées aux différents actions dans le modèle. L'analyseur de performance exécute automatiquement des scénarios de référence sur différentes architectures et présente les résultats graphiquement pour déterminer quelle est la meilleurs architecture en terme de performance ou de de consommation énergétique.
Analyse de performance
Traçabilité interne
PragmaDev Studio peut importer des fichiers d'expression des besoins au format csv. L'outil trace les liens du besoin vers le modèle et vers les tests qui le couvrent. L'analyse d'impact est intégrée et il est possible de savoir quel cas de test doit être exécuté si un des besoins a été modifié.