|
TAU-1 : Utiliser UML 2.0 et TAU G2 pour l'Ingénierie des systèmes et des logiciels
|
Formation combinant une présentation du formalisme de modélisation UML 2 – la nouvelle version de UML en cours d’approbation à l’OMG qui permet de construire des modèles UML exécutables – et des exercices pratiques basés sur l'outil Telelogic TAU Generation2. |
|
|
TAU-20 : Introduction à Telelogic TAU SDL Suite
|
Cette formation se compose d'une présentation des formalismes de modélisation SDL et MSC, et d'exercices pratiques basés sur l’outil Telelogic TAU SDL Suite. |
|
|
TAU-21 : Simulation et Génération de code C avec TAU SDL Suite
|
Ce cours vous aide à étendre vos capacités en utilisant les outils de Simulation et Génération de code de l'outil Telelogic Tau SDL Suite. |
|
|
TAU-22 : Verification et Validation de systèmes avec TAU SDL Suite
|
Apprenez la théorie de la vérification et la validation de systèmes SDL, et familiarisez-vous aux fonctionnalités de l’outil de validation de Telelogic Tau SDL Suite : le validateur. Deux jours combinant théorie et exercices sur l’outil. |
|
|
TAU-23 : Génération de code C micro avec TAU SDL Suite
|
Ce cours vous donne une complète maîtrise sur la spécification des systèmes en SDL en respectant les contraintes spécifiques aux cibles embarquées, et sur la réalisation des tests et du debug avec les outils Cmicro de Telelogic TAU. |
|
|
TAU-3 : Maîtriser la complexité des programmes avec Telelogic TAU Logiscope
|
Ce cours présente les techniques d'analyse statique et dynamique de code applicables pendant le processus de développement et de test des logiciels et supportées respectivement par les outils Telelogic TAU Logiscope Audit, RuleChecker et TestChecker. |
|
|
TAU-4 : Utiliser TTCN-3 et TAU Tester pour le test de systèmes
|
Ce cours vous apprend à utiliser le langage TTCN-3, norme développée à l’ETSI pour le test de systèmes et de logiciels. L’outil TAU Tester est utilisé pour les travaux pratiques. |
|
|
TAU-50 : Introduction à TTCN-2 et Telelogic TAU TTCN Suite
|
Ce cours vous apprend l'essentiel du test de conformité avec TTCN-2, de la conception à l'implémentation de suites de tests en utilisant l'outil Telelogic TAU TTCN Suite. |
|
|
TAU-51 : TTCN-2 Avancé
|
Le cours TTCN-2 Avancé approfondit le développement structuré de suites de tests TTCN. Il décrit la méthodologie recommandée par l'ETSI définissant comment construire correctement une suite de tests. |
|
|
TAU-52 : Génération de test et validation avec TTCN-2
|
Un cours qui vous familiarise avec les concepts de test de la méthodologie Telelogic, en utilisant l'outil Telelogic Tau TTCN Suite. |
|
