Processo di verifica

SDV esegue una verifica, ovvero un test per determinare se il comportamento effettivo del driver è conforme alle regole che definiscono il 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.

Costruire

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

Scansionare

Durante il passaggio Scansione, SDV analizza il codice del driver per individuare 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 contiene il file di sorgenti per il driver (noto come directory delle sorgenti del driver).

Verifica

Durante il passaggio Verifica , 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 del driver statico.

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

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

Il motore di verifica SDV verifica quindi una regola alla volta, fino a quando 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 del 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 Command-Line Output. Per informazioni sui messaggi di errore, consultare Static Driver Verifier Error Messages. Per informazioni sull'abilitazione della diagnostica per aiutare l'utente e Microsoft a risolvere i problemi relativi a SDV, vedere Diagnostica del driver statico.