Regole di conformità DDI

  • Articolo

Questa sezione elenca e descrive le regole di conformità di Windows Device Driver Interface (DDI) che è possibile usare per verificare il modello di driver windows (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS e Driver Storport. Le regole di conformità DDI definiscono i requisiti per l'interazione corretta tra un driver e l'interfaccia del kernel del sistema operativo.

Regole per i driver audio
Regole per i driver AVStream
Regole per i driver WDM
Regole per i driver KMDF
Regole per i driver NDIS
Regole per i driver Storport

Strumenti di verifica driver

È possibile usare gli strumenti di analisi del codice, il verificatore driver statico e il verificatore driver per testare un driver per la conformità alle regole di utilizzo DDI. Static Driver Verifier (SDV) esegue l'analisi statica sul codice sorgente del driver, in modo da poter usare SDV all'inizio del ciclo di sviluppo. Il verificatore driver è integrato con il sistema operativo, quindi è possibile testare un driver in fase di esecuzione dopo la compilazione, la distribuzione e l'installazione.

Usando il codice sorgente del driver, il verificatore driver statico crea un modello del driver e del sistema operativo. In questo modello SDV inserisce il driver in un ambiente ostile e verifica sistematicamente i percorsi di codice tramite il driver cercando violazioni di un set formale delle regole di conformità del driver (regole di verifica driver statiche).

A partire da Windows 8, è possibile configurare Driver Verifier per eseguire alcuni degli stessi controlli di conformità sui driver installati abilitando il controllo della conformità DDI.

Verifica driverstatico del driver