Accueil > Produits > PragmaDev Tester


PragmaDev Tester supporte le standard international de test TTCN-3 que ce soit en édition, en vérification de syntaxe et de sémantique, simulation, génération de code, débogue, et traces graphiques. Une vidéo introductive à TTCN-3 est disponible ici.

TTCN-3 logo
Les modèles formels de haut niveau peuvent être simulés en confrontation avec des cas de test. L'implémentation du modèle peut aussi être confrontée à ces cas de tests.

En simulation ou en génération de code les traces, les points d'arrêt, et l'exécution pas à pas peuvent être mis indifféremment dans le modèle ou dans le test car le problème peut aussi bien se situer dans le modèle que dans le cas de test. Un présentation en ligne de 10 minutes est disponible ici.

Viewlet snapshot
Démonstration d'un exemple TTCN

Un exemple de cas de test

TTCN sample code
Un exemple de suite TTCN-3

Le verdict est affiché dans la fenêtre du débogueur et dans le fenêtre de trace graphique.

Verdict de test
Verdict de test dans une trace d'exécution

Implémentation facile

L'architecture du code généré facilite l'intégration sur cible. Des macros sont utilisées pour les messages sortants de la suite de test, et une liste chainée de files d'attente est utilisée pour les messages entrants.

Intégration du code généré sur cible
Intégration facile sur cible



Cliquez ici pour la brochure

Model Based Testing

PragmaDev a monté un laboratoire commun avec le CEA List: PragmaList. Grace à cette collaboration PragmaDev Studio permet la génération automatique de cas de test à partir d'un modèle sur la base d'un des critères suivants:
  • Couverture: génération d'un minimum de cas de tests couvrant un maximum de transitions dans le modèle.
  • Transition: génération d'un cas de test qui cible une transition spécifique dans le modèle.
  • Propriété: génération d'un cas de test qui satisfait une propriété statique (valeur d'une variable, d'un état...).
  • Observateur: génération de cas de test vérifiant une propriété dynamique (succession temporelle d'état ou de valeurs). Une telle propriété dynamique est définie dans une machine d'état particulière appelée observateur.


Cliquez ici pour obtenir la brochure

Intégration continue

Les suites de tests TTCN-3 peuvent être utilisées pour tester un modèle ou une cible. L'exécution automatique des scénarios peut s'appliquer à tout ou partie du modèle ou de son implémentation. Le TTCN-3 de manière général peut s'utiliser en test unitaire, d'intégration, ou de validation.

Continuous integration
Intégration continue


Test orienté modèle

Les cas de test peuvent être générés automatiquement à partir de:
  • l'expression des besoins,
  • traces d'exécution,
  • un modèle exécutable du système grace aux technologies de validation de nos partenaires académiques.
La démonstration en ligne suivante présente comment générer des cas de tests à partir de l'expression des besoins:

MSC2TTCN Flash demo
Génération automatique de TTCN-3 à partir de MSCs

Couverture de modèle

A tout moment lors de l'exécution des tests, il est possible de visualiser graphiquement la couverture de modèle: le nombre de fois ou une transition a été exécutée, un état atteint, ou un symbole exécuté.

Couverture de modèle
Couverture

PragmaDev Tester 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: