Mengapa Verifikasi Kode Semakin Penting dalam Era AI

Memberikan agent token akses dan itu menyebar: ke window konteks, ke log panggil alat, ke catatan yang ia simpan antar langkah. Setiap salinan bisa bekerja dari mana saja, bahkan setelah lama. Relay menahan kredensial di Work OS. Agent Anda nama pengguna, Work OS menempelkan token tersebut, merefresh dan melepaskannya hanya ke host yang diizinkan. Sesi agent yang dicuri adalah proses hidup yang bisa Anda bunuh. Pelajari cara kerjanya →Jarak antara kode yang bisa dieksekusi dan kode yang sebenarnya aman untuk dipercaya semakin lebar. Tahun-tahun, menulis kode adalah langkah lambat dan mahal, sementara meninjaunya adalah tugas kecil di akhir. Dengan naiknya pembuatan kode bantu AI, keseimbangan ini berubah. Alat AI sekarang bisa membuat fungsi yang bekerja dalam detik dan fitur penuh dalam menit. Tim bisa menulis lebih banyak kode hasil mesin setiap bulan. Kata lain, menghasilkan kode sekarang cepat dan relatif mudah, sementara verifikasi kode adalah bagian yang lebih sulit. Seorang reviewer masih harus membaca perubahan, memahaminya, dan memutuskan apakah itu harus masuk produksi. Benar-benar, semakin banyak kode yang ditulis, semakin banyak kode yang perlu diverifikasi. Kami baru saja mendapat kesempatan berbicara dengan Andrea Malagodi, CTO Sonar (perusahaan yang membangun beberapa software verifikasi kode yang paling banyak digunakan). Ia memberikan wawasan dalam mengenai verifikasi kode, khususnya dalam konteks AI dan bagaimana Sonar beradaptasi dengan perubahan terbaru. Dalam artikel ini, kita akan melihat verifikasi kode cara kerjanya, mengapa peningkatan kode hasil AI lebih banyak tekanan menimbulkan, bersama dengan wawasan yang sangat berguna dari Andrea tentang masa depan yang mungkin. Pergeseran mengenai pembuatan kode dan verifikasi terlihat jelas ketika kita melihat data. Satu sinyal yang sangat jelas berasal dari penelitian DORA Google, studi panjang tentang ribuan tim membangun dan merilis perangkat lunak. Penelitian terbaru mereka menemukan bahwa seiring dengan adopt lebih banyak AI, stabilitas pengiriman menurun. Percaya pada kode hasil AI tetap rendah, dengan lebih dari setengah pengembang melaporkan sedikit percaya pada hasil yang dihasilkan oleh alat ini [2]. Lain kata, peningkatan kecepatan menulis kode justru menimbulkan lebih banyak tekanan ke bawah. Penelitian terkontrol kelompok METR menunjukkan sinyal yang mirip. Pesertanya adalah pengembang open-source yang berpengalaman yang bekerja pada proyek matang mereka masing-masing, dan setiap tugas secara acak dialokasikan untuk mengizinkan atau melarang alat AI. Pengembang menantikan AI mempercepat mereka sekitar sekuartil. Namun, hasil menunjukkan gambaran total yang berbeda. Tugas bantu AI membutuhkan sekitar 19 persen lebih lama [3]. Selain itu, ini terjadi setelah pengembang secara internal percaya bahwa AI membantu mereka lebih produktif. Ternyata, waktu ekstra yang banyak digunakan untuk prompting, menunggu, membaca output, dan memperbaikinya. Untuk adil, tim yang sama kemudian melaporkan sinyal follow-up yang lebih membingungkan. Ini sebagian karena pengembang lebih suka mempertahankan alat AI-nya [4]. Namun, jika kita melihat hasil-hasil ini bersama-sama, jelas bahwa meskipun AI memang meningkatkan jumlah kode yang ditulis, tetapi juga mengakibatkan lebih banyak kerja verifikasi di kemudian hari. Jadi, pertama-tama mengerti verifikasi kode sebenarnya apa maksud. Verifikasi kode adalah istilah umum untuk setiap pemeriksaan yang memastikan apakah potongan kode benar, aman dan cukup dapat dipelihara untuk dikirim ke produksi. Lain kata, ini adalah kerja untuk memperoleh cukup percaya untuk mengubah perubahan di depan pengguna nyata. Kata kunci yang perlu diperhatikan adalah “mendapat”. Karena kepercayaan datang dalam derajat. Dibangun satu per satu pemeriksaan, rather than diberikan dalam satu coup. Bayangkan tugas membuat kontrak. Menulis kata adalah bagian dari tugas ini. Namun, tinjauan, pemeriksaan hukum dan tangan tangan mengubah kata-kata itu menjadi sesuatu yang orang-benar-benar bisa percaya. Menulis kode juga bekerja sama. Ketika potongan kode keluar dari editor dan dikommit ke repositori kode, ia membawa implisit klaim tentang fungsionalitas.