Condividi tramite

Proprietà del verificatore KMDF per i progetti dei pacchetti di driver

Imposta le proprietà per il Verificatore KMDF (o verificatore del framework) su un computer remoto. È possibile usare queste impostazioni quando si compila e si distribuisce un driver KMDF in un computer di test. Per informazioni sui driver KMDF, vedere Kernel-Mode Driver Framework.

Per ulteriori informazioni sul verificatore del framework, consultare Utilizzo del Verificatore del Framework e l'Applicazione di Controllo del Verificatore WDF.

Impostazione delle proprietà del verifier KMDF per i progetti di pacchetto driver

  1. Apri le pagine delle proprietà del pacchetto dei driver. Selezionare e tenere premuto (o fare clic con il pulsante destro del mouse) sul progetto del pacchetto driver in Esplora soluzioni e scegliere Proprietà.
  2. Nelle pagine delle proprietà per il pacchetto driver selezionare Proprietà di configurazione, selezionare Installazione driver e quindi selezionare KmDF Verifier.
  3. Selezionare l'opzione Abilita verifica KMDF (Enable KMDF Verifier) e selezionare La verifica KMDF è sempre attiva (KMDF verifier is always on). Quando questa opzione è selezionata, è possibile configurare le opzioni di verifica del framework per i driver KMDF.
Opzione Descrizione

Abilitare il servizio di verifica kmdf

Abilita il verificatore kmdf nel computer di test. Le scelte sono il verificatore kmdf è sempre attivo o il verificatore kmdf è disattivato. Se il verificatore KMDF non è abilitato, la verifica del framework di base viene abilitata come parte di Driver Verifier se la versione di KMDF è 1.9 o successiva.

Nomi dei servizi KMDF

Specifica i nomi dei servizi dei driver KMDF da monitorare.

Controlli IRQL

Abilita i controlli IRQL e i controlli critici su perdite di memoria.

Inoltra controlli compatibili

Abilita i controlli creati dopo la versione corrente del driver.

Verifica del gestore di avanzamento progressivo

Specifica le opzioni per testare la gestione dell'avanzamento in avanti del driver.

Nessun errore di allocazione Non verranno simulati guasti per testare la gestione del progresso in avanti del driver.

Esito negativo di tutte le allocazioni Tutte le richieste di I/O destinate a una coda di avanzamento in avanti sembrano avere esito negativo, basandosi sulla gestione dello stato di avanzamento del driver.

Allocazioni casualmente fallite Le richieste di I/O destinate a una coda di avanzamento falliscono in modo casuale.

Tenere traccia degli handle di oggetti KMDF

Specifica l'elenco dei tipi di handle di oggetto da monitorare.

Abilitare i messaggi del caricatore kmdf

Abilita i messaggi del caricatore KMDF tramite il debugger. Per abilitare questa operazione, è necessario riavviare il computer di destinazione.

A partire da Windows Vista, il sistema operativo elimina l'output DbgPrint per impostazione predefinita, che rende inutilizzabili i messaggi di diagnostica del caricatore WDF fino a quando non viene eseguito l'override dell'eliminazione. KmDF Verifier può gestirlo in modo che la diagnostica del caricatore KMDF sia disponibile nel debugger del kernel per questi sistemi.

Log verboso

Abilita la registrazione dettagliata.

Pagine di memoria per i log

Specifica il numero di pagine del pool di memoria non paginata (1-10) da allocare per i log di traccia degli eventi del kernel. Le opzioni sono Scelta runtime o [1-10]. Se scelta di runtime, il numero di pagine dipende dal runtime kmdf. A partire da KMDF 1.9, il runtime usa più pagine quando la verifica è abilitata con la registrazione dettagliata.

Errori di allocazioni di memoria

Specifica il numero di allocazioni di memoria riuscite consentite prima che il verificatore KMDF inizi a non riuscire in tutte le allocazioni di memoria.
  • Last updated on