HeadlinesBriefing favicon HeadlinesBriefing.com

Automatisasi Pengujian Berbasis Spesifikasi: Verifikasi Independen

Towards Data Science •
×

Agen koding AI modern dapat menerapkan spesifikasi dan menghasilkan suite pengujian yang lulus dalam alur kerja yang sama, namun hal ini menciptakan kelemahan kritis: pengujian tidak dapat tidak setuju dengan implementasi ketika keduanya berasal dari interpretasi yang sama yang ambigu. Ini melanggar prinsip dasar Verifikasi dan Validasi (V&V) bahwa pembangun bukanlah verifikator. Berdasarkan pengalaman pada program Super Cruise dan Ultra Cruise General Motors, penulis menekankan bahwa verifikasi independen sangat penting untuk menangkap kekaburangan spesifikasi.

Misalnya, spesifikasi radar yang menyatakan "gap must be a distance the forward radar can measure, up to its rated range of 250m" meninggalkan pertanyaan kritis tidak terjawab: di mana pengukuran dimulai? Dapatkah ia mengukur 0m? Tanpa tinjauan independen, pengembang menyelesaikan kekaburahan semacam ini secara sepihak, yang mengarah pada pengujian yang saling mengonfirmasi. Verifikasi sebenarnya membutuhkan interpretasi yang terpisah: satu insinyur mengimplementasikan, yang lain memeriksa. Perselisihan mengungkapkan kelemahan sebenarnya pada spesifikasi sebelum penerapan.

Prinsip ini, standar dalam pengembangan produk tradisional selama puluhan tahun, diperkuat selama pekerjaan kontrak NASA mengkalibrasi sistem pelacak kepala dan mata, di mana QA independen memvalidasi kalibrasi penulis. Penulis membangun proyek Python sumber terbuka untuk mengotomatisasi pemisahan ini, memastikan bahwa pengujian secara bermakna menantang implementasi alih-alih sekadar mengonfirmasinya.