Mengeksplorasi pengembangan AI-first, coding guardrail, dan arsitektur untuk dibuang.
Large language models adalah mitra brainstorming yang lumayan untuk menemukan test oracles, tetapi mereka menghasilkan properti halusinasi dan melewatkan constraint domain. Berikut cara menggunakannya tanpa mengirimkan pengujian yang palsu.
Anda perlu menguji sebuah function di mana output yang benar tidak mungkin diketahui sebelumnya. Sebuah route optimizer. Sebuah sentiment classifier. Sebuah…
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…
Cara menggunakan phantom types dan parameter `this` untuk mengubah transisi protocol yang ilegal menjadi error waktu kompilasi, bukan bug waktu runtime.
Setiap klien API memiliki state machine yang tersembunyi di dalamnya. Handshake dulu. Autentikasi kedua. Kirim data ketiga. Tutup terakhir. Langgar urutan itu…
Spesifikasi OpenAPI mendeskripsikan skema request dan response, tetapi tidak menentukan urutan pesan yang valid. Berikut cara mengekstrak apa yang bisa Anda dapatkan dan di mana Anda masih perlu mengisi celahnya.
Spesifikasi OpenAPI memberi tahu Anda seperti apa request yang valid dan seperti apa response yang valid. Spesifikasi tersebut tidak memberi tahu Anda apakah…
Tipe sesi mengenkode protokol komunikasi dalam sistem tipe, mengubah kesalahan protokol runtime menjadi kegagalan waktu kompilasi. Berikut mengapa mereka menghabiskan tiga puluh tahun di makalah penelitian sebelum kode produksi dapat menggunakannya.
Tipe sesi ditemukan pada tahun 1993. Tiga puluh tahun kemudian, sebagian besar layanan jaringan masih memvalidasi status protocol dengan pemeriksaan runtime…
Tipe sesi mengenkode protokol komunikasi dalam sistem tipe Anda, mengubah ketidakcocokan pengiriman pesan menjadi kesalahan kompilator sebelum kode Anda dijalankan.
Deadlock seharusnya menjadi masalah runtime. Itulah yang membuatnya sangat menjengkelkan. Kode Anda dikompilasi dengan bersih, pengujian Anda lulus, dan…
Cara menjalankan analisis statis formal di pipeline CI menggunakan Infer, dengan konfigurasi yang berfungsi dan trade-off yang realistis.
Abstract interpretation adalah istilah yang membuat insinyur menutup tab. Terdengar seperti sesuatu yang membutuhkan satu semester teori kisi untuk dipahami.…
Large language model dapat membantu triase positif palsu analisis statis, tetapi mereka tidak memahami semantik program seperti abstract interpretation. Berikut cara menggabungkan keduanya.
Static analyzer Anda baru saja mengeluarkan 847 peringatan pada hari Jumat sore. Anda tahu, secara statistik, bahwa di suatu tempat antara 5% dan 15% dari…
Bagaimana Facebook menggunakan abstract interpretation dan unsoundness yang disengaja untuk menemukan race condition secara masif pada jutaan baris kode Android.
Aplikasi Android Facebook memiliki masalah performa. Thread UI tenggelam dalam pekerjaan, tetapi memindahkan kode ke thread latar belakang berarti race…