Accueil > Produits > PragmaDev Specifier


PragmaDev Specifier a pour objectif d'aider les ingénieurs système, les architectes, et les donneurs d'ordre à exprimer leurs besoins avec un modèle fonctionnel exécutable.

Une majorité des sytèmes dévelopés ne sont pas ce qui était attendu à cause d'une mauvaise compréhension des besoins.

Origine des défauts

Le modèle exprime l'architecture attendue du système et le comportement de ses différents éléments. La technologie de modélisation utilisée dans l'outil PragmaDev Specificier a la particularité d'être exécutable, de ce fait ce n'est pas simplement un modèle statique qui est vérifié mais, plus important, c'est toute la dynamique du système.

Architecture et comportement du système

Vues

Demain, tous les systèmes seront interconnectés ce qui crééra un niveau de complexité inégalé. Il est de la plus haute importance de clairement définir les fonctionnalités attendues de chaque sous-système aussi bien d'un point de vue statique que dynamique. L'ambiguité n'est pas acceptable même pour les systèmes non critiques.

L'outil permet de:

  • Définir l'architecture logique et physique du système.
  • Définir les interfaces statiques entre les différents éléments de l'architecture.
  • Décrire le comportement de chaque élément.
  • Connecter le modèle à des parties réelles du système.

Traçabilité

PragmaDev Studio peut importer des fichiers d'expression du besoin. L'outil garde trace du besoin au modèle dont la couverture par les tests est automatiquement analysée. Par conséquent l'analyse d'impact est immédiate et il est possible de déterminer quels cas de tests doivent être exécutés à nouveau en cas de modification des besoins.

Tables de besoins

Matrice de traçabilité

Vérification

Comme le modèle est exécutable, le simulateur intégré combiné avec l'outil de prototypage de l'interface utilisateur permet à un non spécialiste de valider le comportement du modèle. Le résultat se présente sous forme de scénarios qui peuvent être utilisés comme formalisation du besoin ou comme cas de tests de validation à exécuter sur une implémentation du système.

Simulation avec protype d'IHM

Test

Test classique

Les modèles décrits avec PragmaDev Specifier peuvent être testés avec des cas de tests décrits dans PragmaDev Tester. Ceci permet l'exécution automatique de tests de non regression sur le modèle fonctionnel, très tôt dans le cycle de développement.

Model based testing

Il est aussi possible de générer automatiquement les cas de tests à partir du modèle afin de vérifier qu'une implémentation est bien conforme à ce modèle.

Documentation

La documentation est un aspect important de la modélisation. L'outil peut générer des documents dans divers formats tels que OpenDocument, RTF, HTML, SGML avec de nombreuses options de configuration.

Génération automatique de documentation

Démonstration en ligne

Découvrez les fonctionnalités de base dans cette démonstration rapide.


PragmaDev Specifier fait partie de PragmaDev Studio. PragmaDev Studio est gratuit pour les petits projets et dans le cadre de l'enseignement. Vous pouvez le télécharger ici.

Si vous souhaitez plus d'information: