zero-defects

3 posts

cleanroom-correctnesszero-defectssoftware-historyprocess

Zero-Defect Process IBM Menghasilkan 0,1 Bug Per KLOC. Industri Tetap Meninggalkannya.

Cleanroom engineering IBM mencapai defect rate 100 kali lebih baik dari rata-rata industri, lalu menghilang dalam gelap. Penghilangannya tidak ada hubungannya dengan apakah itu berfungsi.

Cleanroom software engineering process IBM menghasilkan 0,1 defect per seribu baris code. Rata-rata industri saat itu berada di antara 10 dan 50. Process…
cleanroom-correctnesszero-defectsverificationcase-study

Apakah ada yang benar-benar memverifikasi 10.000 baris dengan nol defect? IBM melakukannya, dan metodologinya lebih aneh daripada hasilnya.

Cleanroom software engineering menjanjikan increment zero-defect melalui mathematical verification alih-alih debugging. Kami melihat data proyek IBM yang sebenarnya untuk melihat apakah klaim itu bertahan.

Rata-rata industri perangkat lunak pada tahun 1980-an adalah 30 hingga 60 defect per seribu baris kode. Tim Cleanroom IBM mengirimkan increment compiler 20.000…
cleanroom-correctnessibmzero-defectssoftware-quality

IBM Mengirimkan Perangkat Lunak dengan 0,1 Defect per KLOC dengan Melarang Developer Menjalankan Kode Mereka Sendiri

Proses rekayasa Cleanroom IBM mencapai tingkat defect 100 kali lebih baik dari rata-rata industri dengan mencegah bug alih-alih menemukannya. Begini cara kerjanya, mengapa hampir tidak ada yang menggunakannya, dan apa yang bisa Anda tiru darinya sekarang.

IBM mengirimkan sistem kontrol satelit NASA dengan 0,1 defect per seribu baris kode. Rata-rata industri pada saat itu berada di antara 10 dan 50. Mereka tidak…