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

Programme de la formation
Formation certifiante ISTQB CTFL-MBT : Tester Logiciel basé sur Modèle

• 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

• 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.)

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• É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

• Introduction des MBT dans l'Organisation
• 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