19 posts
Dokumentasi arsitektur membusuk pada saat Anda menyimpannya. Berikut cara menjaga kejujuran dokumen menggunakan diagram yang dibuat dari kode, ADR, dan pengujian arsitektur otomatis.
Setiap diagram arsitektur yang pernah saya lihat di wiki salah. Bukan salah secara dramatis. Hanya salah secara diam-diam, bertahap. Layanan yang diberi label…
Timeout atau crash tidak berarti permintaan API Anda hilang. Berikut cara idempotency key membuat percobaan ulang menjadi aman, dan pola penyimpanan yang benar-benar mencegah duplikat.
Layanan Anda crash di tengah jalan saat memproses permintaan . Klien melihat timeout dan mencoba ulang. Sekarang Anda punya dua charge. Pelanggan marah.…
Mutex in-memory hilang ketika server Anda restart. Berikut cara distributed lease dengan fencing token dan TTL mencegah pekerjaan duplikat saat crash, dan di mana mereka masih gagal.
Anda tidak bertahan dari . Ia tidak bertahan dari OOM, deployment rollout, atau reboot node. Pada saat proses berhenti, kunci tersebut hilang. Jika kunci itu…
Kebanyakan library circuit breaker memunculkan thread latar belakang untuk memeriksa pemulihan. Anda tidak membutuhkannya. Berikut adalah desain berbasis request yang menghilangkan semua background overhead tanpa mengorbankan correctness.
Setiap circuit breaker produksi yang saya tinjau pada akhirnya memunculkan thread latar belakang. Bisa jadi goroutine Go, Java, atau task tokio Rust. Tugasnya…
Perangkat lunak crash-only memperlakukan setiap kegagalan sebagai crash dan setiap startup sebagai recovery. Untuk layanan web, ini berarti menghapus logika shutdown Anda dan merancang state yang bertahan meski di-kill -9.
Layanan web Anda punya shutdown handler. Ia melakukan flush buffer, menutup koneksi, menulis checkpoint. Anda mengujinya sekali, mungkin. Di produksi, ia…
Mutation testing menemukan survivor dan Anda sama sekali tidak tahu apa yang dilakukan mutasi tersebut. Berikut adalah metode langkah demi langkah untuk menulis tes yang tepat tanpa harus memahami mutan terlebih dahulu.
Laporan mutation testing Anda penuh dengan survivor, dan setidaknya salah satu dari mereka sama sekali tidak masuk akal bagi Anda. Alat tersebut mengatakan…
Mengapa menerapkan skor mutasi tunggal di seluruh codebase adalah kesalahan, dan cara mengatur threshold per-modul yang sesuai dengan risiko aktual.
Menerapkan skor mutasi tunggal di seluruh codebase adalah cara terbaik untuk membuat timmu benci testing. Jalankan PIT atau Stryker terhadap repo tipikal dan…
Code coverage mengatakan Anda aman. Mutation testing mengatakan tes Anda sebagian besar hanya dekorasi. Begini cara mutan yang bertahan memperlihatkan celahnya, dan cara menutupnya.
Tes Anda lolos. Laporan coverage Anda menyatakan 87%. Tapi skor mutasi Anda 40%, dan separuh mutan Anda masih hidup. Angka 40% itu bukan berarti kode Anda…
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,…
Sebagian besar tim tidak menjalankan suite mutation testing secara penuh di setiap commit. Berikut cara tim engineering benar-benar mengintegrasikan mutation testing ke CI tanpa merusak build pipeline.
Jika suite mutation testing Anda membutuhkan waktu empat jam untuk dijalankan, selamat. Anda telah membuktikan apa yang sudah diduga semua orang: suite…
Tes database yang di-mock memverifikasi sintaks SQL Anda, bukan apakah baris data bertahan dari crash, penulisan konkuren, atau ketidakcocokan skema. Berikut cara menguji persistensi secara nyata.
Jika Anda me-mock database dalam tes, Anda sedang menguji bahwa lapisan repository memanggil metode yang benar. Anda tidak menguji bahwa data bertahan dari…
Mem-mock setiap action Redux mengubah test Anda menjadi validator changelog. Berikut cara menguji store dengan transisi state yang nyata.
Jika Anda pernah menulis test yang memverifikasi dipanggil dengan bentuk payload yang tepat, Anda telah menulis test yang rusak setiap kali seseorang mengganti…
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…
Metrik code coverage menciptakan rasa aman yang palsu. Berikut ini mengapa unit test melewatkan bug yang sebenarnya membuat Anda kehilangan tidur, dan apa yang harus diuji sebagai gantinya.
Anda memiliki 90% code coverage dan tetap dipanggil jam 2 pagi. Unit test-nya lulus. CI berwarna hijau. Bug-nya tetap masuk ke produksi. Coverage tidak…
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…
Developer tersebar menyebar assertion seperti confetti atau menghindarinya sepenuhnya. Berikut framework keputusan yang memisahkan invariants yang berguna dari pemicu crash di production.
Sebagian besar codebase produksi termasuk dalam salah satu dari dua kubu. Kubu A memperlakukan sebagai bumbu dekoratif, menaburkannya di setiap baris lain…
Validasi manual membuat codebase Anda membengkak dan masih saja melewatkan edge case. Berikut cara enforce runtime contracts dengan skema deklaratif yang tidak mengganggu Anda.
Setiap kali API Anda menerima request, Anda memvalidasinya. Setiap kali fungsi menerima argumen dari sistem eksternal, Anda memeriksanya. Lakukan ini secara…
mode strict menangkap null yang Anda tulis, bukan null yang datang saat runtime dari API, query DOM, dan JSON.parse. Inilah di mana sistem tipe berhenti dan pertahanan Anda dimulai.
Anda mengaktifkan di . Anda memperbaiki setiap garis merah bergelombang. Anda merilis ke produksi dengan percaya diri bahwa dan sudah bukan masalah lagi. Lalu…