Sdílet prostřednictvím

Jak vytvořit protokol ověření ovladače

Program pro certifikaci hardwaru systému Windows vyžaduje protokol ověření ovladače (DVL) pro odesílání ovladačů. DvL obsahuje souhrn výsledků z nástrojů pro statickou analýzu , CodeQL. DvL neobsahuje žádné informace o zdrojovém kódu. Před vytvořením DVL pro ovladač spusťte CodeQL, nástroj pro analýzu kódu a ověřitele statického ovladače. Další informace najdete v tématu Testování loga Statických nástrojů a CodeQL a Test loga Statické nástroje.

Příprava ovladače

  1. Před spuštěním nástrojů pro analýzu kódu sestavte a propojte ovladač pomocí nejnovější sady Windows Driver Kit (WDK).
  2. Vyberte Release pro konfiguraci řešení a x64 pro platformu řešení.

Určení a spuštění požadovaných testů

Pokud chcete zjistit, které testy jsou požadovány pro verzi Windows, pro kterou chcete certifikovat, podívejte se na test loga Statických nástrojů.

Podle potřeby spusťte následující testy.

Vytvoření protokolu ověření ovladače

  1. V nabídce Ovladač vyberte Vytvořit protokol ověření ovladače.
  2. Ověřte, že jsou zjištěny protokoly analýzy kódu, protokol ověření statického ovladače a soubory protokolu CodeQL .
  3. Vyberte Vytvořit.

Protokol ověření ovladače má příponu názvu souboru . DVL.XML. Protokol se vytvoří ve složce projektu, například \myDriverProject\myDriverName.DVL.XML.

SDV provádí čistou přestavbu ovladače, která odstraní protokol analýzy kódu. Proto před spuštěním CA nezapomeňte spustit SDV.

Až budete připraveni otestovat ovladač pomocí sady Windows Hardware Lab Kit, zkopírujte protokol ověření ovladače do adresáře %systemdrive%\DVL na testovacím počítači. Před zkopírováním nového protokolu ověření ovladače odstraňte obsah adresáře na testovacím počítači.

Důležité

Vypršení časového limitu, mezery a další neúspěšné výsledky v souboru DVL jsou přijatelné pro odeslání certifikace. Neúspěšné výsledky nezpůsobí selhání testu statických nástrojů v HLK.

Použití okna příkazového řádku sady Visual Studio

Protokol ověření ovladače můžete vytvořit také z okna příkazového řádku sady Visual Studio. Použijte příkazový řádek nativních nástrojů sady Visual Studio nainstalovaný se sadou Visual Studio nebo sadu Enterprise Windows Driver Kit (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Vytvoření protokolu ověření ovladače mimo nástroj msbuild nebo Visual Studio

Microsoft dodává jako součást sady Windows Driver Kit (WDK) a Enterprise WDK (eWDK) komponentu nazvanou dvl.exe, kterou lze použít k vytváření ověřovacích protokolů ovladačů (DVL) prostřednictvím příkazového řádku. Počínaje verzí 21342 a novějšími verzemi WDK/eWDK je možné vygenerovat DVL z příkazového řádku mimo kontext nástroje msbuild nebo sady Visual Studio.

Generování DVL ze souboru CodeQL sarif

  1. Vyhledejte dvl.exe v WDK nebo připojeného eWDK. Obvykle se instaluje do C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Zavolejte dvl.exe předáním příznaku /manualCreate, názvu ovladače, požadované architektury a /sarifPath. Kde /sarifPath obsahuje cestu ke složce obsahující soubor sarif.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Generování DVL ze souboru Sarif CodeQL nebo při použití CA a SDV

  1. Umístěte výsledky, které musí být využity k vytvoření DVL v jednom adresáři spolu s libovolným souborem vcxproj. Pro ovladače, které mají být certifikovány pro klienta systému Windows, tento soubor je soubor CodeQL SARIF. Certifikace Windows Serveru může také zahrnovat soubory s výsledky analýzy kódu a ověření statického ovladače (SDV). V dokumentech požadavků na WHCP najdete konkrétní podrobnosti o nástrojích potřebných ke spuštění pro certifikaci ovladačů zařízení.

  2. Umístěte soubory CodeQL SARIF a soubory XML analýzy kódu do nejvyšší úrovně adresáře. Umístěte soubor SDV DVL.xml do podsložky s názvem sdv.

  3. Přejděte do adresáře nejvyšší úrovně, který obsahuje soubor CodeQL SARIF z příkazového řádku.

  4. Vyhledejte dvl.exe z WDK nebo připojené sady eWDK.

  5. Volejte dvl.exe předáním příznaku /manualCreate , názvu ovladače a požadované architektury. Například:

    Pro architektura ovladače použijte jeden z následujících řetězců:

    • X86
    • X64
    • Paže
    • Arm64

    Poznámka:

    Do řetězce driverName nezahrnujte ".sys".

  6. Zkontrolujte DVL a ujistěte se, že se vygeneroval správně.

Toto použití je primárně určené pro generování dvls s výsledky CodeQL, ale lze ho použít také pro výsledky SDV a CA.

Poznámky k vydání

Nejaktuálnější informace o nástroji pro analýzu kódu, nástroji Statický Driver Verifier a protokolu ověření ovladače jsou v poznámkách k verzi WDK na stránce pro stažení sady Windows Driver Kit (WDK).

  • Last updated on