Auf Race Conditions zu warten ist eine schreckliche Teststrategie
Warum Model Checking Tage produktiver Laufzeit für das Finden von Concurrency-Bugs schlägt, und wie du es auf deinen eigenen Code anwendest.
Darauf zu warten, dass Race Conditions in der Produktion auftauchen, ist kein Testen. Es ist Hoffnung, die als Fleiß verkleidet ist. Du kannst deine App…