Property-Based Tests di Rust Menemukan Bug yang Unit Test Anda Lewatkan
Pengujian berbasis contoh hanya mencakup input yang Anda pikirkan. Property-based testing menghasilkan data acak, memeriksa invariant, dan menyusutkan kegagalan menjadi contoh kontra minimal.
Anda menulis fungsi . Anda mengujinya dengan dan . Lolos. Anda release. Seorang pengguna memberikan slice dengan satu elemen. Fungsi Anda membuangnya begitu…