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

• —Analyser l'impact des MBT sur les processus de test existants
• —Identifier les compétences nécessaires pour intégrer les MBT
• —Développer une stratégie de communication pour le déploiement des MBT
• —Évaluer les besoins en formation pour les équipes de test
• —Définir un plan d'implémentation 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

OPCO

Formations financées via votre opérateur de compétences

FAF

Aide à la formation pour les indépendants

France Travail

Des aides pour les demandeurs d'emploi

Employeur

Votre entreprise peut financer votre formation

FNE-Formation

Un soutien pour les entreprises en transformation

Expérience en tests logiciels. Connaissance de base de l'ISTQB niveau Foundation. Capacité à comprendre des concepts techniques.

Ordinateur avec connexion internet stable. Logiciel de visioconférence (si à distance). Matériel de prise de notes.

5 tests d'évaluation sont proposés à l'apprenant en fin de formation pour connaître son niveau sur chaque compétences visées.

Plateforme et contenus e-learning à disposition. Test de positionnement Quizz & Evaluations

Nous vous recevons lors d’un rendez-vous d’information préalable gratuit et confidentiel en visioconférence pour analyser vos besoins et co-construire votre parcours personnalisé. Chaque demande s’accompagne de la remise d’une convention ou d’un contrat précisant l’ensemble des informations relatives à la formation (Tarifs, calendrier, durée, lieu…). Ce contrat/convention sera transmis électroniquement par email.

A partir de l’accord de prise en charge par le financeur sollicité, le bénéficiaire peut démarrer sous un délai de 11 jours ouvrés. Si vous financez votre parcours de formation par vos propres moyens, alors le délai d'accès est immédiat. Vous pouvez entrer en formation tout au long de l’année.

♿️ Nous accueillons les personnes en situation de handicap. Les conditions d’accessibilité aux personnes handicapées sont inscrites sur le site imi-education.fr, rubrique Accessibilité.

Saskia Cazettes Pour tout renseignement : 07 80 91 06 14 / saskia.c@imi-executive-solutions.com

23 mars 2026

La formation alterne apports théoriques, mises en situation pratiques et échanges entre participants. Chaque concept est directement appliqué via des exercices concrets et des cas réels.

Oui, chaque participant reçoit un support de cours complet (format numérique et/ou papier) qu'il peut conserver à l'issue de la formation.

Certaines de nos formations sont éligibles au Compte Personnel de Formation (CPF). Consultez la fiche formation ou contactez-nous pour vérifier l'éligibilité.

Plusieurs dispositifs de financement existent : CPF, OPCO, plan de développement des compétences, financement individuel. Notre équipe peut vous accompagner dans vos démarches.

Oui, notre équipe reste disponible pour toute question post-formation. Vous bénéficiez également d'un accès à nos ressources en ligne pendant 6 mois après votre parcours.

Le test logiciel basé sur modèle est une méthode de test qui utilise des modèles pour générer des cas de test. Cette méthode permet d'améliorer la qualité des logiciels en garantissant que les fonctionnalités sont correctement testées.

Les avantages du test logiciel basé sur modèle incluent une amélioration de la qualité des logiciels, une réduction du temps de test et une meilleure couverture des fonctionnalités.

Les outils nécessaires pour le test logiciel basé sur modèle incluent des outils de modélisation, des outils de génération de cas de test et des outils d'évaluation des résultats.

Notre organisme de formation s'engage à accueillir et accompagner les personnes en situation de handicap. Notre référente handicap, Mme Lorène Travaux est disponible pour étudier avec vous les adaptations pédagogiques, techniques ou logistiques nécessaires avant toute inscription. Contactez-nous à hello@imi-executive-solutions.com ou au 06 72 09 69 52.