Separate Protocol Logic from I/O for Deterministic Tests • Somtochi Onyekwere • Bug Bash EU 2026

Valeur des informations & solidité de l’argumentation

La valeur de cette présentation réside dans son approche pragmatique et directement applicable. L’orateur démontre, via un exemple concret (la modification d’un protocole de broadcast pour Corrosion), comment l’abstraction des effets externes permet de passer de tests d’intégration coûteux et non déterministes à des tests locaux rapides et fiables. L’argumentation est solide : elle s’appuie sur les difficultés réelles rencontrées (coût de déploiement, non-reproductibilité) et propose une solution systématique. La description du testeur basé sur un tas binaire et un temps virtuel est claire et convaincante. L’orateur reconnaît les limites (intégration à vérifier, complexité accrue pour l’utilisateur de la bibliothèque) ce qui renforce la crédibilité. La présentation est cohérente et bien structurée, allant du problème à la solution, avec un exemple illustratif.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est correcte pour un retour d’expérience : l’orateur cite son projet open-source (accessible via son GitHub) et la conférence Bug Bash EU 2026. Le titre est adéquat et correspond exactement au contenu. L’approche s’inscrit dans des pratiques reconnues comme le sans-I/O et les tests déterministes, bien que l’orateur ne cite pas de références académiques explicites. Les sources mentionnées (liens vers GitHub, conférence, etc.) sont fiables et vérifiables. La méthodologie est présentée avec des détails suffisants pour être reproduite. Le niveau technique est élevé, mais la vulgarisation est correcte pour un public averti. Aucun commentaire n’a été fourni, donc aucune tendance ne peut être analysée.

Le titre reflète exactement le contenu : la présentation détaille comment séparer la logique de protocole des E/S pour obtenir des tests déterministes.

8/10

L'intervenant est un ingénieur senior chez Fly.io, la présentation s'appuie sur une mise en œuvre concrète (protocole PlumTree dans Corrosion) et le code est open-source. La conférence est reconnue dans le domaine.

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

• 00:30Introduction : le problème des tests de protocoles distribués (difficultés de coordination, réseau, timeouts).
• 03:00Présentation de l'idée : séparer la logique du protocole des E/S, transformer en machine à états pure.
• 06:00Exemple concret avec PlumTree : description du protocole et de l'implémentation en Rust (traits).
• 09:00Implémentation du testeur : tas binaire, temps virtuel, gestion des événements et des pannes.
• 13:00Avantages : reproductibilité, possibilité de mesurer la latence et d'expérimenter des paramètres.
• 18:00Limites : l'intégration reste à vérifier, la méthode ajoute une certaine complexité, mais les bénéfices sont réels.

• Bug Bash EU 2026 - Site de la conférence — Page de l'événement où la présentation a été enregistrée.
• Profil GitHub de Somtochi Onyekwere — Accès au code open-source mentionné (protocole et tests).
• Profil LinkedIn de Somtochi Onyekwere — Informations professionnelles de l'orateur.
• Compte officiel GOTO Conferences sur Bluesky — Réseau social de l'organisation de la conférence.
• Page LinkedIn de GOTO — Page LinkedIn de l'organisateur.

• Page de l'événement Bug Bash EU — Confirme le format et le sujet de la présentation.
• GitHub de l'orateur — Contient le code open-source qui illustre et permet de vérifier les affirmations.