COURS & FORMATION
Vérification continue et test agentiques
Utilisez des agents IA pour les tests, le CI/CD et la vérification en production tout en gardant le contrôle grâce aux preuves, aux garde-fous et à l'escalade humaine.
En ligne
Sur demande
Formation en direct avec un formateur, publique ou privée.
Sur site
Sur demande
Sur site en session publique ou privée.
Formation privée
Sur demande
Formation privée adaptée à votre équipe d'ingénierie.
À qui s’adresse cette formation ?
Ingénieurs QA et automatisation des tests
Générez et réparez des tests avec des agents sans affaiblir la couverture, l’indépendance ni la qualité des assertions.
Ingénieurs DevOps et SRE responsables du CI/CD ou de la fiabilité en production
Reliez l’analyse agentic, les quality gates fondés sur des preuves et la vérification en production aux workflows de livraison.
Ingénieurs plateforme qui conçoivent les garde-fous de livraison et les quality gates
Concevez des accès d’agents limités, des intégrations MCP, des pistes d’audit et des chemins d’escalade déterministes.
Ce que vous apprendrez
Concevoir le cycle de vérification agentique
Reliez la génération, l'analyse, les quality gates, la vérification en production et l'escalade humaine dans un workflow défendable.
Générer et auditer des tests
Générez des tests unitaires, API et end-to-end à partir des spécifications, puis contrôlez la couverture, l'indépendance et la solidité des assertions.
Détecter le piège de la confiance
Distinguez une réparation légitime d'une assertion affaiblie qui masque une régression.
Piloter des quality gates fondés sur les preuves
Prenez une décision de réussite, d'échec ou d'escalade à partir des rapports d'analyse et prévoyez des solutions de repli déterministes.
Fermer la boucle avec la production
Vérifiez un service déployé avec ses signaux d'exécution et transformez les constats pertinents en nouveaux cas de test.
Maîtriser la sécurité, le coût et la latence
Appliquez le moindre privilège, l'hygiène des secrets, les contrôles d'injection, les budgets et les traces d'audit.
PRÉREQUIS
Ce que les participants doivent connaître
Les participants doivent être à l'aise avec Git, la configuration de pipelines CI/CD, Linux, les conteneurs, une plateforme d'observabilité et la lecture ou la modification de code. Aucune expérience préalable des agents LLM, de MCP, du prompt engineering ou du machine learning n'est requise.
PRÉPARATION
Avant le début du cours
Les participants reçoivent une checklist de préparation pour l'environnement de laboratoire. Prévoyez un ordinateur capable d'exécuter les outils de développement, de conteneurs, de test et de CI/CD retenus. La stack finale est confirmée pour chaque session.
PROGRAMME
Programme de Vérification continue et test agentiques
Le cours est préparé pour des sessions privées. Les dates publiques, le prix, le formateur, le framework de test, l'agent de développement, la couche d'analyse et la plateforme d'observabilité ne sont pas encore confirmés.
Fondations et mécanique des agents
Jour 1
Comprenez les limites de l'automatisation statique, le fonctionnement d'un agent et la manière dont les preuves d'exécution fondent un verdict.
Fondations et mécanique des agents
Jour 1
Comprenez les limites de l'automatisation statique, le fonctionnement d'un agent et la manière dont les preuves d'exécution fondent un verdict.
Théorie
- Vérification, test et limites des approches agentiques
- Cycle ACVT avec agent de génération, couche d'analyse et agent d'observabilité
- Planification, sélection des outils, terminaison et non-déterminisme
- MCP comme frontière d'intégration et de sécurité
- Verdicts fondés sur les métriques, logs et traces
Pratique
- Établir la baseline d'une suite de tests
- Tracer les prompts, appels d'outils, décisions et conditions de terminaison
- Contester un verdict d'observabilité et identifier les preuves absentes
Génération, réparation et confiance
Jour 2
Générez des tests depuis les spécifications, auditez les réparations et encadrez la sécurité, le coût et la latence de la boucle agentique.
Génération, réparation et confiance
Jour 2
Générez des tests depuis les spécifications, auditez les réparations et encadrez la sécurité, le coût et la latence de la boucle agentique.
Théorie
- Patterns de prompting pour les tests unitaires, API et end-to-end
- Valeurs limites, erreurs et idempotence
- Taxonomie des réparations et contrôle de la solidité des assertions
- Injection de prompt, secrets, moindre privilège et auditabilité
- Coûts en tokens, budgets de latence et limites par exécution
Pratique
- Générer et comparer deux suites depuis la même spécification
- Repérer une assertion affaiblie qui masque une régression
- Durcir les outils MCP et mesurer le coût et la latence
Pipeline, production et déploiement
Jour 3
Intégrez l'analyse agentique au CI/CD, vérifiez un service déployé et repartez avec un modèle de confiance et un plan de déploiement.
Pipeline, production et déploiement
Jour 3
Intégrez l'analyse agentique au CI/CD, vérifiez un service déployé et repartez avec un modèle de confiance et un plan de déploiement.
Théorie
- Décisions de réussite, d'échec et d'escalade
- Solutions de repli pour indisponibilités, timeouts et verdicts contradictoires
- Vérification post-déploiement avec les SLO et les anomalies
- Matrice de confiance fondée sur l'impact et le niveau de confiance
- Métriques de défauts échappés, instabilité, maintenance, dérive de couverture et coût
Pratique
- Câbler un quality gate piloté par un rapport
- Transformer un constat de production pertinent en test actif
- Réaliser le capstone et rédiger un plan d'adoption pour l'équipe
TECHNOLOGIES
Rôles technologiques abordés dans Vérification continue et test agentiques
Le cours est indépendant des fournisseurs. MCP constitue la frontière d'intégration. L'agent de code, le framework de test, la couche d'analyse et la stack d'observabilité sont choisis pour chaque session.
Vérification continue et test agentiques pour votre équipe ?
Organisez la formation en ligne ou sur site, adaptée à votre stack et à vos objectifs.
FORMATEUR PRINCIPAL
Yassin Aziz Rekik
Formateur principal SRE et fiabilité
Professeur associé à la HEPIA Genève depuis plus de 20 ans et ancien chercheur à l'EPFL. Il dirige la formation SRE et apporte son expérience de l'observabilité, des SLO, de la livraison logicielle et de la fiabilité.
Prochaines sessions
Questions fréquentes
Réponses aux questions sur Vérification continue et test agentiques.