Proces weryfikacji

SdV przeprowadza weryfikację, czyli test w celu określenia, czy rzeczywiste zachowanie kierowcy jest zgodne z zasadami definiującymi właściwe zachowanie.

Po przesłaniu polecenia w celu zweryfikowania sterownika sdV wykonuje trzyetapowy proces, podczas którego określa pliki, których potrzebuje, przygotowuje pliki i weryfikuje sterownik.

W tym temacie opisano, co się dzieje w każdym z kroków procesu weryfikacji.

Budować

Podczas kroku kompilacji i budowy zestaw SDV kompiluje, łączy i buduje sterownik przy użyciu narzędzia MSBuild.

Skanuj

Podczas kroku skanowania sdV skanuje kod sterownika pod kątem deklaracji typów ról funkcji, tworzy listę punktów wejścia sterownika i tworzy plik Sdv-map.h w katalogu, który przechowuje plik źródeł dla sterownika (znany jako katalog źródeł sterownika).

Sprawdzić

Podczas kroku Sprawdzania SDV przygotowuje się do weryfikacji i weryfikuje sterownik, używając wybranych przez Ciebie reguł. Aby uzyskać więcej informacji na temat reguł, które można wybrać, zobacz Statyczne reguły weryfikatora sterowników.

SDV rozpoczyna od ustalenia, czy wybrane reguły wymagają dodatkowych składników modelu systemu operacyjnego. Jeśli tak, sdV kopiuje dodatkowe pliki modelu systemu operacyjnego do katalogu źródeł sterownika.

Następnie pliki sterowników, pliki biblioteki, pliki kodu reguły (RuleName.slic) i pliki modelu systemu operacyjnego są połączone z jednym plikiem wykonywalnym na potrzeby weryfikacji.

Aparat weryfikacji SDV weryfikuje jedną regułę jednocześnie, dopóki nie zweryfikuje wszystkich wybranych reguł.

W tym kroku sdV tworzy podkatalog dla każdej reguły zweryfikowanej w katalogu DriverPath\sdv\check.

Komentarz

Podczas gdy sdV wykonuje kroki w procesie weryfikacji, zapisuje komunikaty o stanie w wierszu polecenia wraz z komunikatami o błędach, które zgłaszają błędy występujące w każdym kroku. Aby uzyskać informacje o komunikatach o stanie, zobacz Command-Line Dane wyjściowe. Aby uzyskać informacje o komunikatach o błędach, zobacz Statyczne komunikaty o błędach weryfikatora sterowników. Aby uzyskać informacje na temat włączania diagnostyki w celu ułatwienia tobie i firmie Microsoft rozwiązywania problemów z zestawem SDV, zobacz Statyczna diagnostyka weryfikatora sterowników.