Laman web

Rancangan Pengajian Kualiti Peningkatan Kualiti Kod

Cara Merancang RPP 1 Lembar (Teaching Scenario) Untuk Meningkatkan Konsentrasi Siswa

Cara Merancang RPP 1 Lembar (Teaching Scenario) Untuk Meningkatkan Konsentrasi Siswa
Anonim

Jumlah kecacatan dalam projek sumber terbuka jatuh, satu kajian baru oleh Coverity vendor telah menemui.

Coverity, pembuat alat untuk menganalisis kod pengaturcaraan, menerima kontrak pada tahun 2006 dari Jabatan Keselamatan Dalam Negeri AS membantu meningkatkan kualiti perisian sumber terbuka, yang semakin digunakan oleh agensi-agensi kerajaan.

Penjual telah membuat laman web di mana projek-projek sumber terbuka dan pemaju boleh menghantar kod untuk dianalisis.

"Ketumpatan kecacatan" telah menurun 16 peratus dalam tempoh tiga tahun yang lalu di kalangan projek-projek yang diimbas melalui laman web tersebut dan terdapat 11,200 kecacatan yang telah dihapuskan, menurut laporan terbaru Coverity.

Empat projek telah diberikan status "Rung 3" peringkat atas, setelah menyelesaikan cacat yang ditemui semasa Rung 1 dan 2, kata Coverity. Mereka adalah Samba, tor, OpenPAM dan Ruby.

The Scan tapak sejauh ini menganalisis lebih daripada 60 juta kod unik kod dari 280 projek, menurut Coverity. Lebih daripada 180 projek mempunyai pemaju yang aktif untuk mengimbas projek sumber terbuka.

Perkhidmatan imbasan Coverity menggunakan analisis statik, yang digunakan untuk memeriksa kod keselamatan atau masalah prestasi tanpa perlu menjalankan aplikasi itu sendiri. Ini adalah lebih baik kerana "menguji setiap laluan dalam program yang kompleks kerana ia berjalan memerlukan membina sejumlah besar kes ujian khusus atau menstrukturkan kod dengan cara khusus," kata Coverity.

"Analisis statik [alat] tidak akan memberitahu anda bahawa proses perniagaan anda berfungsi dengan betul … tetapi mereka akan memberitahu anda bahawa kod itu sendiri secara tekal pepejal, dan mengikuti jenis amalan terbaik pengaturcaraan yang anda harapkan untuk melihat dari kod yang telah melalui semakan kod yang betul, "kata Forrester Research penganalisis Jeffrey Hammond melalui e-mel.

Alat ini cenderung sangat berguna untuk mencari "struktur" anti-corak 'dalam kod, amalan pengaturcaraan yang lemah yang boleh menyebabkan prestasi dan masalah keselamatan seperti kebocoran ingatan dan limpahan buffer serta syarat yang lebih eksotik seperti kesilapan kerana pelaksanaan kod yang selari dalam persekitaran CPU multicore, "katanya.