Aracılığıyla paylaş


Doğrulama İşlemi

SDV, sürücünün gerçek davranışının doğru davranışı tanımlayan kurallarla uyumlu olup olmadığını belirlemek için bir doğrulama, yani bir test yürütür.

Bir sürücüyü doğrulamak için bir komut gönderdiğinizde, SDV üç adımlı bir işlem gerçekleştirir ve bu işlem sırasında hangi dosyalara ihtiyacı olduğunu belirler, dosyaları hazırlar ve sürücüyü doğrular.

Bu konu, doğrulama işleminin her adımında neler olduğunu açıklar.

Yapmak

Derleme adımı sırasında SDV, MSBuild kullanarak sürücüyü derler, bağlar ve oluşturur.

Taramak

Tarama adımı sırasında SDV, sürücünüzün kodunu işlev rolü türü bildirimleri için tarar, sürücü giriş noktalarının listesini derler ve sürücü için kaynak dosyasını depolayan dizinde Sdv-map.h dosyasını oluşturur (sürücünün kaynak dizini olarak bilinir).

Çek

Denetim adımı sırasında SDV, doğrulama için seçtiğiniz kuralları kullanarak sürücüyü hazırlar ve doğrular. Seçebileceğiniz kurallar hakkında daha fazla bilgi için bkz. Statik Sürücü Doğrulayıcı Kuralları.

SDV, seçilen kuralların işletim sistemi modelinin ek bileşenlerini gerektirip gerektirmediğini belirleyerek başlar. Varsa, SDV ek işletim sistemi modeli dosyalarını sürücünün kaynak dizinine kopyalar.

Ardından, sürücü dosyaları, kitaplık dosyaları, kural kodu (RuleName.slic) dosyaları ve işletim sistemi modeli dosyaları doğrulama için tek bir yürütülebilir dosyaya bağlanır.

Ardından SDV doğrulama altyapısı, seçilen tüm kuralları doğrulanana kadar bir kerede bir kuralı doğrular.

Bu adım sırasında SDV, DriverPath\sdv\check dizininde doğrulanan her kural için bir alt dizin oluşturur.

Yorum

SDV doğrulama işlemindeki adımları gerçekleştirirken, her adımda ortaya çıkan hataları bildiren hata iletilerinin yanı sıra durum iletilerini komut satırına yazar. Durum iletileri hakkında bilgi için bkz. çıkışCommand-Line. Hata iletileri hakkında bilgi için bkz. Statik Sürücü Doğrulayıcı Hata İletileri. Sizin ve Microsoft'un SDV ile ilgili sorunları gidermenize yardımcı olmak için tanılamayı etkinleştirme hakkında bilgi için bkz. Statik Sürücü Doğrulayıcı Tanılaması.