Attendre les race conditions est une stratégie de test épouvantable
Pourquoi le model checking bat des jours d'exécution en production pour trouver les bugs de concurrence, et comment l'appliquer à votre propre code.
Attendre que les race conditions apparaissent en production n'est pas du testing. C'est de l'espoir déguisé en diligence. Vous pouvez faire tourner votre app…