Überprüfungsprozess

SDV führt eine Überprüfung durch, d. h. einen Test, um zu bestimmen, ob das tatsächliche Verhalten des Treibers den Regeln entspricht, die das richtige Verhalten definieren.

Wenn Sie einen Befehl zum Überprüfen eines Treibers übermitteln, führt SDV einen dreistufigen Prozess aus, bei dem ermittelt wird, welche Dateien benötigt werden, die Dateien vorbereitet und der Treiber überprüft wird.

In diesem Thema wird beschrieben, was in den einzelnen Schritten des Überprüfungsprozesses geschieht.

Build

Während des Buildschritts kompiliert, verknüpft und erstellt SDV den Treiber mithilfe von MSBuild.

Scan

Während des Scanschritts durchsucht SDV den Code Ihres Treibers auf Funktionsrollentypdeklarationen, erstellt eine Liste der Treibereinstiegspunkte und erstellt die Datei Sdv-map.h in dem Verzeichnis, in dem die Quelldatei für den Treiber gespeichert wird (das als Quellenverzeichnis des Treibers bezeichnet wird).

Prüfen

Während des Überprüfungsschritts bereitet SDV den Treiber mithilfe der Regeln vor, die Sie für die Überprüfung ausgewählt haben, und überprüft diesen. Weitere Informationen zu den Regeln, die Sie auswählen können, finden Sie unter Statische Treiberüberprüfungsregeln.

SdV beginnt mit der Ermittlung, ob die ausgewählten Regeln zusätzliche Komponenten des Betriebssystemmodells erfordern. Wenn dies der Fall ist, kopiert SDV die zusätzlichen Betriebssystemmodelldateien in das Quellverzeichnis des Treibers.

Als Nächstes werden die Treiberdateien, Bibliotheksdateien, Regelcodedateien (RuleName.slic) und Betriebssystemmodelldateien für die Überprüfung in einer einzelnen ausführbaren Datei verknüpft.

Die SDV-Überprüfungs-Engine überprüft dann jeweils eine Regel, bis alle ausgewählten Regeln überprüft werden.

Während dieses Schritts erstellt SDV ein Unterverzeichnis für jede Regel, die im Verzeichnis DriverPath\sdv\check überprüft wurde.

Kommentar

Während SDV die Schritte im Überprüfungsprozess ausführt, schreibt es status Nachrichten zusammen mit Fehlermeldungen, die in jedem Schritt auftreten, in die Befehlszeile. Informationen zu den status Meldungen finden Sie unter Befehlszeilenausgabe. Informationen zu den Fehlermeldungen finden Sie unter Static Driver Verifier Error Messages( Static Driver Verifier Error Messages). Informationen zum Aktivieren von Diagnose, um Ihnen und Microsoft bei der Behandlung von Problemen mit SDV zu helfen, finden Sie unter Static Driver Verifier Diagnostics( Static Driver Verifier Diagnostics).