Share via

Règles de conformité DDI

  • Article

Cette section répertorie et décrit les règles de conformité de l’interface de pilote de périphérique Windows (DDI) que vous pouvez utiliser pour vérifier le modèle de pilote Windows (WDM), l’infrastructure kmDF (Kernel Mode Driver Framework), l’audio (portCls), AVStream (KS), NDIS et les pilotes Storport. Les règles de conformité DDI définissent les exigences pour l’interaction appropriée entre un pilote et l’interface du noyau du système d’exploitation.

Règles pour les pilotes audio
Règles pour les pilotes AVStream
Règles pour les pilotes WDM
Règles pour les pilotes KMDF
Règles pour les pilotes NDIS
Règles pour les pilotes Storport

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.

Outils de vérification des pilotes

Vous pouvez utiliser les outils d’analyse du code, static Driver Verifier et Driver Verifier pour tester un pilote pour la conformité aux règles d’utilisation DDI. Static Driver Verifier (SDV) effectue une analyse statique sur le code source du pilote, ce qui vous permet d’utiliser SDV au début du cycle de développement. Le vérificateur de pilotes est intégré au système d’exploitation. Vous pouvez donc tester un pilote au moment de l’exécution une fois qu’il a été créé, déployé et installé.

À l’aide du code source du pilote, Static Driver Verifier crée un modèle du pilote et du système d’exploitation. Dans ce modèle, SDV place le pilote dans un environnement hostile et teste systématiquement les chemins de code par le biais du pilote en recherchant des violations d’un ensemble formel de règles de conformité du pilote (règles static Driver Verifier).

À compter de Windows 8, vous pouvez configurer le vérificateur de pilotes pour exécuter certaines des mêmes case activée de conformité sur les pilotes installés en activant la conformité DDI case activée ing.

Driver Verifier

Vérificateur de pilote statique