Überprüfungsprozess

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

Wenn Sie einen Befehl übermitteln, um einen Treiber zu überprüfen, führt SDV einen dreistufigen Prozess durch, bei dem er bestimmt, welche Dateien benötigt werden, bereitet die Dateien vor und überprüft den Treiber.

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

Bauen

Während des Build-Schritts kompiliert, verlinkt und baut SDV den Treiber mithilfe von MSBuild.

Scan

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

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 Static Driver Verifier Rules.For more information about the rules that you can select, see Static Driver Verifier Rules.

SDV ermittelt zunächst, ob für die ausgewählten Regeln zusätzliche Komponenten des Betriebssystemmodells erforderlich sind. Falls ja, kopiert SDV die zusätzlichen Betriebssystemmodelldateien in das Quellenverzeichnis des Treibers.

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

Das SDV-Überprüfungsmodul überprüft dann jeweils eine Regel, bis alle ausgewählten Regeln überprüft werden.

In diesem Schritt erstellt SDV ein Unterverzeichnis für jede Regel, die sie im Verzeichnis DriverPath\sdv\check überprüft hat.

Kommentar

Während SDV die Schritte im Überprüfungsprozess ausführt, schreibt es Statusmeldungen in die Befehlszeile, zusammen mit Fehlermeldungen, die Fehler melden, die in jedem Schritt auftreten. Informationen zu den Statusmeldungen finden Sie unter Command-Line Ausgabe. Informationen zu den Fehlermeldungen finden Sie unter Fehlermeldungen zur Überprüfung statischer Treiber. Informationen zum Aktivieren der Diagnose, die Ihnen und Microsoft bei der Behandlung von Problemen mit SDV helfen, finden Sie unter Static Driver Verifier Diagnostics.