Proses Verifikasi

SDV melakukan verifikasi, yaitu pengujian untuk menentukan apakah perilaku aktual driver mematuhi aturan yang menentukan perilaku yang tepat.

Ketika Anda mengirimkan perintah untuk memverifikasi driver, SDV melakukan proses tiga langkah, di mana ia menentukan file mana yang dibutuhkan, menyiapkan file, dan memverifikasi driver.

Topik ini menjelaskan apa yang terjadi di setiap langkah proses verifikasi.

Membangun

Selama langkah Build , SDV mengkompilasi, menautkan, dan membangun driver menggunakan MSBuild.

Memindai

Selama langkah Pemindaian , SDV memindai kode driver Anda untuk deklarasi jenis peran fungsi, menyusun daftar titik masuk driver, dan membuat file Sdv-map.h di direktori yang menyimpan file sumber untuk driver (dikenal sebagai direktori sumber driver).

Periksa

Selama langkah Periksa , SDV mempersiapkan dan memverifikasi driver dengan menggunakan aturan yang Anda pilih untuk verifikasi. Untuk informasi selengkapnya tentang aturan yang dapat Anda pilih, lihat Aturan Pemverifikasi Driver Statis.

SDV dimulai dengan menentukan apakah aturan yang dipilih memerlukan komponen tambahan dari model sistem operasi. Jika ya, SDV menyalin file model sistem operasi tambahan ke direktori sumber driver.

Selanjutnya, file driver, file pustaka, file kode aturan (RuleName.slic), dan file model sistem operasi ditautkan ke dalam satu file yang dapat dieksekusi untuk verifikasi.

Mesin verifikasi SDV kemudian memverifikasi satu aturan pada satu waktu, hingga memverifikasi semua aturan yang dipilih.

Selama langkah ini, SDV membuat subdirektori untuk setiap aturan yang diverifikasi di direktori DriverPath\sdv\check.

Komentar

Saat SDV melakukan langkah-langkah dalam proses verifikasi, SDV menulis pesan status ke baris perintah, bersama dengan pesan kesalahan yang melaporkan kesalahan yang muncul di setiap langkah. Untuk informasi tentang pesan status, lihat outputCommand-Line. Untuk informasi tentang pesan kesalahan, lihat Pesan Kesalahan Pemverifikasi Driver Statis. Untuk informasi tentang mengaktifkan diagnostik untuk membantu Anda dan Microsoft memecahkan masalah dengan SDV, lihat Diagnostik Pemverifikasi Driver Statis.