Vous ne pouvez pas unit tester un protocole distribué, mais vous pouvez le model checker
Les bugs distribués sont coûteux à corriger après déploiement. Le model checking vous permet de les trouver avant d'écrire une seule ligne de code d'implémentation. Voici comment faire avec TLA+.
Vous ne pouvez pas unit tester un protocole distribué. Un unit test exécute un processus sur une machine dans un ordre. Votre protocole exécute dix processus…