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
Vérificateur de pilote statique
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.
Commentaires
https://aka.ms/ContentUserFeedback.
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultezEnvoyer et afficher des commentaires pour