Condividi tramite

Creazione di un log di verifica del driver

  • Articolo

Il programma di certificazione hardware Windows richiede un registro di verifica driver (DVL) per gli invii di driver. DVL può contenere un riepilogo dei risultati dell'analisi del codice (CA), del driver statico (SDV) e di CodeQL. DVL non contiene informazioni sul codice sorgente. È necessario eseguire CodeQL, lo strumento di analisi del codice e il driver statico verifier in base alle esigenze, prima di creare un DVL per il driver. Per altri dettagli, vedere Test del logo degli strumenti statici e CodeQL e test del logo degli strumenti statici.

Per creare un log di verifica del driver

Preparare il driver

  1. Prima di eseguire gli strumenti di analisi del codice, assicurarsi di poter compilare e collegare il driver usando la versione più recente di Windows Driver Kit (WDK).
  2. Per la soluzione driver, assicurarsi di aver selezionato una configurazione versione come Configurazione della soluzione e x64 come piattaforma della soluzione.

Determinare ed eseguire i test necessari

  1. Fare riferimento al test del logo degli strumenti statici per determinare quali test sono necessari per la versione di Windows per cui si vuole certificare.

Eseguire i test seguenti in base alle esigenze.

Creare il log di verifica del driver

  1. Creare il log di verifica del driver. Dal menu Driver selezionare Crea log di verifica driver....

  2. Verificare che siano stati rilevati il log di analisi del codice, il log del driver statico e i file di log codeQL. Seleziona Crea.

Il log di verifica del driver ha l'estensione del nome file . DVL.XML. Il log viene creato nella cartella del progetto, ad esempio \myDriverProject\myDriverName. DVL.XML.

Nota SDV esegue una ricompilazione pulita del driver, che rimuove il log di analisi del codice. Di conseguenza, assicurarsi di eseguire SDV prima di eseguire la CA.

Nota Quando si è pronti per testare il driver usando Windows Hardware Lab Kit, è necessario copiare il log di verifica del driver nella directory %systemdrive%\DVL nel computer di test. Assicurarsi di eliminare il contenuto della directory nel computer di test prima di copiare il nuovo log di verifica del driver.

Osservazioni:

Per informazioni aggiornate sullo strumento di analisi del codice, sul driver statico verifier e sul log di verifica del driver, vedere le note sulla versione di WDK. Le note sulla versione sono disponibili nella pagina di download di Windows Driver Kit (WDK).

Importante

I timeout, gli spazi e altri risultati non riusciti nel file DVL sono accettabili per l'invio della certificazione. Questo non causerà l'esito negativo del test degli strumenti statici in HLK.

Finestra del prompt dei comandi di Visual Studio

È anche possibile creare il log di verifica del driver da una finestra del prompt dei comandi di Visual Studio, dal prompt dei comandi di Visual Studio Native Tools installato con Visual Studio o tramite Enterprise Windows Driver Kit (EWDK).

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

Creazione di un log di verifica del driver all'esterno di msbuild o Visual Studio

Microsoft viene fornito come parte di Windows Driver Kit (WDK) ed Enterprise WDK (eWDK) un componente denominato dvl.exe che può essere usato per generare i log di verifica del driver (DVLs) tramite la riga di comando. A partire da WDK/eWDK preview versioni 21342 e successive, è possibile generare un DVL dalla riga di comando all'esterno del contesto di msbuild o Visual Studio. Seguire questa procedura per creare il DVL tramite la riga di comando:

  1. Inserire i risultati che devono essere utilizzati per creare il DVL in una singola directory, insieme a qualsiasi file vcxproj. In genere per i driver destinati a essere certificati per il client Windows, si tratta del file CODEQL SARIF. Per la certificazione Windows Server, questo può includere anche i file di risultati di analisi del codice e del driver statico (SDV). Controllare i documenti dei requisiti WHCP per informazioni dettagliate su quali strumenti devono essere eseguiti per la certificazione dei driver di dispositivo.
  2. I file SARIF CodeQL e i file XML di analisi del codice devono essere inseriti nel livello superiore della directory. Il file DVL.xml SDV deve essere inserito in una sottocartella "sdv".
  3. Dalla riga di comando passare alla directory di primo livello che contiene il file CODEQL SARIF.
  4. Individuare dvl.exe da WDK o da un eWDK montato.
  5. Chiamare dvl.exe passando il flag /manualCreate, un nome del driver e un'architettura desiderata. Ad esempio:
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture>

Per la stringa driverArchitecture deve essere usata una delle stringhe seguenti:

  • X86
  • X64
  • Arm
  • Arm64

Non includere ".sys" come parte della stringa driverName

  1. Esaminare il DVL generato per assicurarsi che sia stato generato correttamente

Questo utilizzo è destinato principalmente alla generazione di DVD con risultati codeQL, ma può essere usato anche per i risultati SDV e CA.