4 posts
100 contoh default dalam property-based testing adalah kompromi sosial, bukan strategi statistik. Berikut cara memilih jumlah run yang sesuai dengan kebutuhan kepercayaan Anda dan anggaran CI.
Jika Anda menjalankan property-based test dengan 100 contoh default, Anda mendapatkan yang terburuk dari kedua dunia. CI Anda lebih lambat dari yang…
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…
Kalau kamu ingin code yang dihasilkan AI tahan di production, code review saja tidak cukup. Bangun safety stack berlapis dari type constraints sampai mutation testing dan runtime containment.
Hal paling berbahaya dari AI-generated code bukan karena ia selalu salah. Yang berbahaya adalah sering kali code itu terlihat cukup benar untuk langsung…
Design by contract, property-based testing, mutation testing, dan model checking bukan ide yang buruk. Mereka terlalu berat dari sisi keahlian untuk dipertahankan. AI mengubah persamaan itu.
Software engineering penuh dengan ide yang terasa jelas benar begitu kamu membacanya. Tentu contracts seharusnya mendefinisikan apa yang boleh diterima dan…