|
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.
Introduction et 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
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:
Model Based Testing
Un des principaux aspects de la modélisation est que le modèle est un moyen de communication entre les différentes parties prenantes. De ce fait les modèle peut être vu comme une référence et les différents scénarios utilisés pour valider le modèle sont par définition des cas de test nominaux. PragmaDev Studio peut convertir automatiquement les scénarios de simulation en cas de test qui peuvent être utilisés sur un testeur face au système réel.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.
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
Cliquez ici pour la brochure