PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein d’un même environnement: PragmaDev Studio avec pour objectif d’aider à gérer la complexité inhérente aux développements de systèmes. Il intègre plusieurs outils basés sur des standards internationaux qui s’adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.
PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleurs architecture pour la performance ou l’efficacité énergétique. La technologie de spécification permet de décrire un modèle graphique fonctionnel et exécutable. Un simulateur intégré permet de vérifier et de valider la dynamique du système, et un analyseur de performance identifie la meilleure architecture.
PragmaDev Developer permet aux concepteurs logiciel d’écrire un code maintenable et auto-documenté. Pour cela la technologie de développement permet de décrire un modèle graphique d’architecture et les grandes lignes comportementales en y intégrant le code d’exécution.
PragmaDev Tester permet au testeur d’écrire des tests d’intégration et de validation avec un langage dédié, synthétique et exécutable.
De nombreux tests de conformité sont publiés par des organismes de standardisation avec cette technologie de test.
PragmaDev Tracer est un outil transverse aux trois autres qui permet de décrire des scénarios. En amont, il permet de décrire des scénarios attendus, ou des propriétés d’un système à développer. En aval, il permet de tracer l’exécution d’un modèle ou d’un système et de vérifier que le système est conforme aux scénarios et propriétés décris en amont.
La version complète de l’outillage propose des passerelles entre les différents outils comme par exemple la génération automatique de tests à partir d’un modèle fonctionnel (model based testing).