Outils de vérification des pilotes

Le Kit de pilotes Windows (WDK) comprend plusieurs outils très complets conçus pour vous aider à détecter et corriger les erreurs dans le code du pilote pendant le processus de développement. Bon nombre de ces outils peuvent être utilisés très tôt dans le processus de développement où ils sont les plus critiques et peuvent vous sauver le plus de temps et d’effort.

Ces outils de vérification sont décrits dans la documentation WDK et recommandés pour votre utilisation, car chaque outil détecte différents types d’erreurs de pilote de différentes manières. Ces outils sont beaucoup plus efficaces que les case activée manuels. Ces outils peuvent détecter les erreurs qui ne sont généralement pas trouvées dans les tests de pilotes standard, et ils incarnent l’expertise des développeurs de pilotes chevronnés et des concepteurs d’interface de pilote Windows.

Pour obtenir de meilleurs résultats, utilisez tous les outils qui peuvent s’exécuter sur votre pilote. Si vous omettez l’un de ces outils, vous risquez de manquer un bogue sérieux dans votre pilote.

Important

Le programme de compatibilité matérielle Windows nécessite codeQL pour les tests STL (Static Tool Logo) sur nos systèmes d’exploitation client et serveur. Nous continuerons à maintenir la prise en charge du SDV et de l’autorité de certification sur les produits plus anciens. Les partenaires sont vivement encouragés à passer en revue les exigences CodeQL pour le test du logo de l’outil statique. Pour plus d’informations sur l’utilisation de CodeQL, consultez CodeQL et le test du logo Static Tools.

Cette section commence par une brève discussion sur les caractéristiques des outils de vérification du code et une enquête sur les outils inclus dans wdK et dans Windows ou disponibles auprès de Microsoft.

Cette section inclut les éléments suivants :

Outils de vérification statique et dynamique

Analyse du code pour les pilotes

Driver Verifier

Vérificateur de pilote statique

Règles de conformité DDI

CodeQL et le test du logo Static Tools

Autres outils

Si vous avez accès à d’autres outils de vérification de code ou de pilote (à partir d’autres sources), nous vous encourageons à les utiliser en plus des outils du WDK. Veillez à utiliser l’analyse du code pour les pilotes, le vérificateur de pilotes statiques et le vérificateur de pilotes en raison de leurs connaissances spécifiques des pilotes Windows, mais chaque outil examine le code de différentes façons et peut donc vous aider à trouver et à résoudre différents types de problèmes.