Processo di verifica

SDV esegue una verifica, ovvero un test per determinare se il comportamento effettivo del driver è conforme alle regole che definiscono un comportamento appropriato.

Quando si invia un comando per verificare un driver, SDV esegue un processo in tre passaggi, durante il quale determina i file necessari, prepara i file e verifica il driver.

Questo argomento descrive cosa accade in ognuno dei passaggi del processo di verifica.

Compilazione

Durante il passaggio Build , SDV compila, collega e compila il driver usando MSBuild.

Scansione

Durante il passaggio Analisi , SDV analizza il codice del driver per le dichiarazioni del tipo di ruolo funzione, assembla un elenco di punti di ingresso del driver e crea il file Sdv-map.h nella directory che archivia il file di origini per il driver (noto come directory di origini del driver).

Verifica

Durante il passaggio Check , SDV prepara e verifica il driver usando le regole selezionate per la verifica. Per altre informazioni sulle regole che è possibile selezionare, vedere Regole di verifica driver statici.

SDV inizia determinando se le regole selezionate richiedono componenti aggiuntivi del modello del sistema operativo. In tal caso, SDV copia i file di modello del sistema operativo aggiuntivi nella directory delle origini del driver.

Successivamente, i file del driver, i file di libreria, il codice della regola (RuleName.slic) e i file del modello del sistema operativo sono collegati a un singolo file eseguibile per la verifica.

Il motore di verifica SDV verifica quindi una regola alla volta, finché non verifica tutte le regole selezionate.

Durante questo passaggio, SDV crea una sottodirectory per ogni regola verificata nella directory DriverPath\sdv\check.

Commento

Mentre SDV esegue i passaggi nel processo di verifica, scrive i messaggi di stato nella riga di comando, insieme ai messaggi di errore che segnalano errori che si verificano in ogni passaggio. Per informazioni sui messaggi di stato, vedere Output della riga di comando. Per informazioni sui messaggi di errore, vedere Messaggi di errore del driver statico. Per informazioni sull'abilitazione della diagnostica per aiutare l'utente e Microsoft a risolvere i problemi con SDV, vedere Diagnostica del driver statico.