3 posts
cargo-mutants menemukan tes yang hanya berpura-pura memverifikasi kode Anda. Berikut cara kerja mutation testing di Rust, apa yang ditangkapnya, dan apakah biaya waktu kompilasi sepadan.
Anda memiliki 100% line coverage. Setiap branch tercapai. Setiap function dipanggil. Lalu seseorang mengubah menjadi di logika pricing Anda, menjalankan tes,…
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…
Rust secara otomatis menghapus debug assertion, tetapi design-by-contract yang sesungguhnya membutuhkan lebih dari debug_assert!. Berikut cara membangun runtime contract tanpa biaya yang lenyap dari binary release Anda.
Rust dapat menegakkan runtime contract saat development dan menghapusnya sepenuhnya dari release build. Catatannya, bahasa ini tidak memperlakukan contract…