Model Sistem Operasi

Model sistem operasi SDV atau harness terdiri dari segmen parsial dan abstrak kode Windows yang bertindak sebagai sistem operasi selama verifikasi. SDV mencakup model sistem operasi default dan beberapa model khusus yang digunakan untuk memverifikasi aturan tertentu. SDV menyusun model sistem operasi untuk verifikasi selama langkah Periksaproses verifikasi.

Ada juga harness yang mengeksekusi bagian driver Anda dengan cara yang sama seperti Sistem Operasi Windows dengan memanggil titik masuk di driver.