|
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.
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.
Démonstration d'un exemple TTCN
Un exemple de cas de test
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 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 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.
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.
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
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: