Over fuzzing / op eigenschap gebaseerde tests: - Er is iets bijzonders aan het gewoon duizenden en duizenden invoeren naar een functie te gooien en te zien dat het goed werkt. - Het is de Proof of Work-equivalent van Formele Verificatie. - Weinig dingen zijn zo bevredigend als het verhogen van het aantal iteraties op generatieve eigenschap gebaseerde tests en het bedenken van invarianties om te bevestigen. - Zonder de bibliotheken voor eigenschap gebaseerde tests, zou ik waarschijnlijk nooit volledig naar Rust zijn overgestapt, jaren geleden. Vreemd keerpunt. Hoe dan ook, deze analyse brengt me veel vreugde. Bekijk de resultaten 👇