Formation Formation certifiante ISTQB CTFL-MBT : Tester Logiciel basé sur Modèle

01.Introduction aux Tests Logiciels Basés sur Modèle (MBT)

• —Définition et principes fondamentaux du MBT
• —Avantages et défis de l'approche MBT
• —Place du MBT dans le cycle de vie des tests
• —Terminologie spécifique ISTQB Model-Based Tester
• —Comparaison MBT et méthodes de test traditionnelles

02.Fondamentaux des Modèles pour le Test

• —Qu'est-ce qu'un modèle de test ?
• —Types de modèles utilisés en MBT (états, transitions, données)
• —Propriétés et caractéristiques d'un bon modèle de test
• —Critères de qualité des modèles (clarté, complétude)
• —Notations courantes de modélisation (UML, EFSM, etc.)

03.Activités et Processus du MBT

• —Vue d'ensemble du processus MBT end-to-end
• —Phase 1 : Conception du modèle de test
• —Phase 2 : Génération d'artefacts de test
• —Phase 3 : Exécution des tests et analyse des résultats
• —Intégration du MBT dans les méthodologies Agile

04.Techniques de Conception de Modèles (Partie 1)

• —Modélisation comportementale : machines à états finis (FSM)
• —Modélisation basée sur les graphes et graphes de transition d'états
• —Techniques pour capturer les exigences dans les modèles
• —Exemple pratique de modélisation FSM simple
• —Bonnes pratiques pour la granularité des modèles

05.Techniques de Conception de Modèles (Partie 2)

• —Modélisation basée sur les données : classes, objets, attributs
• —Modélisation de flux de travail et de processus métier
• —Utilisation de diagrammes d'activités (UML Activity Diagrams)
• —Modélisation de conditions et de branches logiques
• —Exercices de conceptualisation de modèles complexes

06.Critères de Couverture Basés sur Modèle

• —Définition et importance de la couverture en MBT
• —Couverture basée sur les nœuds (états) et les arêtes (transitions)
• —Couverture de chemins, des paires de transitions
• —Couverture de données et de conditions
• —Impact des critères de couverture sur l'effort de test

07.Génération de Cas de Test à partir de Modèles

• —Principes et algorithmes de génération de tests
• —Différentes stratégies de génération (exploratoire, ciblée)
• —Outils de génération de tests basés sur modèle
• —Optimisation du nombre et de la qualité des cas de test
• —Gestion des jeux de données de test

08.Oracle de Test Basé sur Modèle

• —Définition et rôle de l'oracle de test en MBT
• —Création d'oracles à partir de modèles
• —Oracles automatiques vs. manuels
• —Identification des résultats attendus à partir du modèle
• —Stratégies de vérification et de validation

09.Exécution et Analyse des Résultats MBT

• —Automatisation de l'exécution des tests générés
• —Intégration avec les frameworks d'automatisation existants
• —Rapports et métriques d'exécution basés sur modèle
• —Analyse des échecs et traçabilité des défauts
• —Maintenance des modèles durant l'exécution

10.Évaluation des Outils de MBT

• —Catégories et panorama des outils MBT disponibles
• —Critères de sélection et d'évaluation d'un outil MBT
• —Démonstrations et cas d'usage d'outils populaires
• —Intégration des outils MBT dans l'écosystème de développement
• —Limitations et défis des outils MBT

11.Introduction des MBT dans l'Organisation

12.Aspects Avancés et Révision Générale QMB

• —MBT pour les systèmes complexes et les architectures distribuées
• —Tests non fonctionnels avec MBT (performance, sécurité)
• —Vue d'ensemble des exigences de l'examen QMB
• —Stratégies de révision et préparation à la certification
• —Questions/réponses et cas pratiques de synthèse