Bagikan melalui

Alat untuk memverifikasi driver

  • Artikel

Windows Driver Kit (WDK) mencakup beberapa alat yang sangat komprehensif yang dirancang untuk membantu Anda mendeteksi dan memperbaiki kesalahan dalam kode driver selama proses pengembangan. Banyak dari alat-alat ini dapat digunakan sangat awal dalam proses pengembangan di mana mereka paling penting dan dapat menghemat waktu dan upaya Anda.

Alat verifikasi ini dijelaskan dalam dokumentasi WDK dan direkomendasikan untuk digunakan karena setiap alat mendeteksi berbagai jenis kesalahan driver dengan cara yang berbeda. Alat-alat ini jauh lebih efisien daripada pemeriksaan manual. Alat-alat ini dapat mendeteksi kesalahan yang biasanya tidak ditemukan dalam pengujian driver standar, dan mereka mewujudkan keahlian pengembang driver berpengalaman dan perancang antarmuka driver Windows.

Untuk hasil terbaik, gunakan semua alat yang dapat berjalan pada driver Anda. Jika Anda menghilangkan salah satu alat ini, Anda mungkin melewatkan bug serius di driver Anda.

Penting

Program Kompatibilitas Perangkat Keras Windows memerlukan CodeQL untuk Pengujian Logo Alat Statis (STL) pada Sistem Operasi Klien dan Server kami. Kami akan terus mempertahankan dukungan untuk SDV dan CA pada produk yang lebih lama. Mitra sangat didorong untuk meninjau persyaratan CodeQL untuk Uji Logo Alat Statis. Untuk informasi selengkapnya tentang menggunakan CodeQL, lihat CodeQL dan Uji Logo Alat Statis.

Bagian ini dimulai dengan diskusi singkat tentang karakteristik alat verifikasi kode dan survei alat yang termasuk dalam WDK dan di Windows atau tersedia dari Microsoft.

Bagian ini meliputi:

Alat Verifikasi Statis dan Dinamis

CodeQL dan Uji Logo Alat Statis

Pemverifikasi Driver

Aturan Kepatuhan DDI

Alat lain

Jika Anda memiliki akses ke alat verifikasi kode atau driver lain (dari sumber lain), kami mendorong Anda untuk menggunakannya selain alat di WDK. Pastikan untuk menggunakan alat seperti Driver Verifier karena pengetahuan spesifik mereka tentang driver Windows, tetapi setiap alat melihat kode dengan cara yang berbeda dan oleh karena itu dapat membantu Anda menemukan dan memperbaiki berbagai jenis masalah.