Modello del sistema operativo

Un modello di sistema operativo SDV o harness è costituito da segmenti parziali e astratti di codice Windows che fungono da sistema operativo durante una verifica. SDV include un modello di sistema operativo predefinito e diversi modelli specializzati usati per verificare determinate regole. SDV assembla il modello del sistema operativo per una verifica durante il passaggio Check del processo di verifica.

C'è anche un cablaggio che esegue parti del driver nello stesso modo del sistema operativo Windows chiamando in punti di ingresso nel driver.