DDI-Complianceregeln

In diesem Abschnitt werden die Complianceregeln für die Windows Device Driver Interface (DDI) aufgeführt und beschrieben, die Sie verwenden können, um windows Driver Model (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS und Storport-Treiber zu überprüfen. Die DDI-Complianceregeln definieren Anforderungen für die ordnungsgemäße Interaktion zwischen einem Treiber und der Kernelschnittstelle des Betriebssystems.

Regeln für Audiotreiber
Regeln für AVStream-Treiber
Regeln für WDM-Treiber
Regeln für KMDF-Treiber
Regeln für NDIS-Treiber
Regeln für Storport-Treiber

Wichtig

Das Windows-Hardwarekompatibilitätsprogramm erfordert CodeQL für STL-Tests (Static Tool Logo) auf unseren Client- und Serverbetriebssystemen. Wir werden weiterhin unterstützung für SDV und CA für ältere Produkte Standard. Partner werden dringend ermutigt, die CodeQL-Anforderungen für den Logotest für statische Tools zu überprüfen. Weitere Informationen zur Verwendung von CodeQL finden Sie unter CodeQL und dem Logotest für statische Tools.

Treiberüberprüfungstools

Sie können die Codeanalysetools, Static Driver Verifier und Driver Verifier verwenden, um einen Treiber für die Einhaltung der DDI-Verwendungsregeln zu testen. Static Driver Verifier (SDV) führt statische Analysen für den Treiberquellcode durch, sodass Sie SDV frühzeitig im Entwicklungszyklus verwenden können. Driver Verifier ist in das Betriebssystem integriert, sodass Sie einen Treiber zur Laufzeit testen können, nachdem er erstellt, bereitgestellt und installiert wurde.

Mithilfe des Treiberquellcodes erstellt Static Driver Verifier ein Modell des Treibers und des Betriebssystems. In diesem Modell platziert SDV den Treiber in einer feindlichen Umgebung und testet codepfade systematisch durch den Treiber, indem er nach Verstößen gegen einen formalisierten Satz der Treibercomplianceregeln (Static Driver Verifier-Regeln) sucht.

Ab Windows 8 können Sie die Treiberüberprüfung so konfigurieren, dass einige der gleichen Complianceprüfungen für installierte Treiber ausgeführt werden, indem Sie die DDI-Complianceüberprüfung aktivieren.

Driver Verifier

Statische Treiberüberprüfung