Du kannst ein verteiltes protocol nicht unit-testen, aber du kannst es model-checken
Verteilte Bugs sind nach dem Deployment teuer zu beheben. Model Checking hilft dir, sie zu finden, bevor du eine einzige Zeile Implementierungscode schreibst. So geht's mit TLA+.
Du kannst ein verteiltes protocol nicht unit-testen. Ein Unit Test führt einen Prozess auf einer Maschine in einer bestimmten Reihenfolge aus. Dein protocol…