Rekomendasi untuk Pemecahan Masalah Pemverifikasi Driver Statis

Saat Anda menjalankan Pemverifikasi Driver Statis (SDV) pada kode sumber driver dan laporan SDV Batas Waktu, GiveUp, atau Spaceout, coba tindakan berikut:

• Rekomendasi berikut memerlukan perubahan pada pengaturan konfigurasi SDV. Anda dapat mengatur pengaturan konfigurasi langsung di Verfier Driver Statis pada tab Konfigurasi , di bawah Sumber Daya, atau di File Opsi Pemverifikasi Driver Statis, Sdv-defaults.xml. File opsi default khusus untuk model driver dan dapat ditemukan di direktori \tools\sdv\data\model\, di mana modelnya adalah WDM, WDF, NDIS, atau Storport.
  1. Jika komputer Anda memiliki prosesor multikore, kurangi jumlah utas yang digunakan selama verifikasi menjadi 1. Di grup Sumber Daya pada tab Konfigurasi , pilih 1 dari daftar drop-down. Dalam file default SDV, ubah nilai untuk SDV_SlamConfig_NumberOfTheads menjadi 1.
  2. Jika SDV melaporkan Batas Waktu, tingkatkan batas Waktu Habis. Nilai ini membatasi jumlah waktu yang dihabiskan SDV untuk memverifikasi aturan. Nilai defaultnya adalah 50 menit (3000 detik). Di grup Sumber Daya pada tab Konfigurasi , Anda dapat menyesuaikan pengaturan dengan mengubah Waktu maksimum (menit). Dalam file opsi, Anda dapat mengubah nilai SDV_SlamConfig_Timeout. Minimumnya adalah 10 (Detik) dan maksimumnya adalah 86400(Detik). Misalnya, Anda mungkin ingin menggandakan nilai untuk SDV_SlamConfig_Timeout menjadi 6000.
• Jika tidak ada saran ini yang membantu menyelesaikan masalah, coba terapkan semuanya bersama-sama.

Perhatikan Teknik-teknik ini meningkatkan durasi aktual eksekusi, tetapi mereka juga memudahkan SDV untuk menyelesaikan pekerjaannya dan memiliki hasil yang berguna (Pass atau Cacat).