8 posts
Unit test Anda memeriksa input spesifik. Symbolic execution memeriksa setiap input yang mungkin. Berikut cara kerjanya, biayanya, dan tempat untuk memulai.
Test suite Anda memiliki cakupan 94% dan nol kegagalan. Sebuah symbolic execution engine menemukan crash di kode Anda dalam waktu kurang dari tiga detik.…
Metamorphic testing telah mengungkap bug nyata di GCC, LLVM, kompiler shader Vulkan, dan simulator ADAS. Posting ini menjelaskan tekniknya dengan kode yang bisa dijalankan dan menunjukkan di mana ia cocok di dalam test suite Anda.
Metamorphic testing telah menemukan 147 bug yang dikonfirmasi di GCC dan LLVM, cacat di simulator ADAS komersial yang digunakan oleh OEM otomotif, dan…
Tidak semua metamorphic relations menangkap bug. Relation yang lemah memberikan kepercayaan palsu sementara relation yang kuat menemukan kesalahan nyata. Berikut cara membedakannya dan membangun set relation yang benar-benar berfungsi.
Anda menulis dua belas metamorphic relations untuk mesin pricing Anda. Setiap pengujian lulus. Anda merasa baik tentang coverage Anda. Lalu seorang pelanggan…
Metamorphic testing memungkinkan Anda memverifikasi kebenaran kode tanpa mengetahui output yang diharapkan secara pasti. Berikut cara kerjanya, kapan kekurangannya, dan cara mulai menggunakannya.
Anda mengirimkan model machine learning yang memberi label pada tiket dukungan. Test suite Anda berwarna hijau. Setiap pengujian lulus. Tidak ada satu pun…
Literate programming menjaga dokumentasi, test, dan implementasi tetap sinkron dengan menjadikan satu file Markdown sebagai single source of truth. Berikut cara mengimplementasikannya dalam tiga puluh baris Python.
Dokumen, test, dan kode Anda adalah tiga file yang menceritakan kisah yang sama dengan buruk. Anda memperbarui function signature di source. Anda lupa contoh…
Mengapa model checking mengalahkan berhari-hari runtime produksi untuk menemukan bug konkurensi, dan cara menerapkannya pada kode Anda sendiri.
Menunggu race conditions muncul di produksi bukanlah pengujian. Itu adalah harapan yang menyamar sebagai ketekunan. Anda bisa menjalankan aplikasi selama…
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…