Über Fuzzing / eigenschaftsbasierte Tests: - Es gibt etwas Besonderes daran, einfach Tausende und Abertausende von Eingaben an eine Funktion zu werfen und zu sehen, dass sie gut funktioniert. - Es ist das Äquivalent von Proof of Work zur formalen Verifikation. - Wenige Dinge sind so befriedigend wie die Erhöhung der Anzahl der Iterationen bei generativen eigenschaftsbasierten Tests und das Finden von Invarianten, die man behaupten kann. - Ohne die Bibliotheken für eigenschaftsbasierte Tests hätte ich wahrscheinlich nie vollständig zu Rust gewechselt, vor Jahren. Seltsamer Wendepunkt. Wie auch immer, diese Analyse bringt mir viel Freude. Schau dir die Ergebnisse an 👇