Nuta
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować się zalogować lub zmienić katalog.
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować zmienić katalogi.
W tej sekcji wymieniono i opisano reguły zgodności interfejsu sterowników urządzeń z systemem Windows (DDI), których można użyć do weryfikowania modelu sterowników systemu Windows (WDM), struktury sterowników trybu jądra (KMDF), audio (PortCls), AVStream (KS), NDIS i Sterowników Storport. Reguły zgodności DDI definiują wymagania dotyczące właściwej interakcji między sterownikiem a interfejsem jądra systemu operacyjnego.
reguły dotyczące sterowników audio
Zasady sterowników AVStream
reguły dotyczące sterowników WDM
zasady dotyczące sterowników KMDF
reguły sterowników NDIS
zasady dotyczące sterowników Storport
Ważne
Program zgodności sprzętu systemu Windows wymaga języka CodeQL dla testów logo narzędzia statycznego (STL) w systemach operacyjnych klienta i serwera. Będziemy nadal utrzymywać wsparcie dla SDV i CA w starszych produktach. Partnerzy są zdecydowanie zachęcani do przejrzenia wymagań codeQL dotyczących testu logo narzędzia statycznego. Aby uzyskać więcej informacji na temat korzystania z CodeQL, zobacz CodeQL i Static Tools Logo Test.
Narzędzia weryfikacji sterowników
Aby przetestować sterownik pod kątem zgodności z regułami użycia DDI, można użyć narzędzi do analizy kodu, statycznego weryfikatora sterowników i weryfikatora sterowników . Statyczny weryfikator sterowników (SDV) wykonuje analizę statyczną kodu źródłowego sterownika, dzięki czemu można użyć sdV na wczesnym etapie cyklu programowania. Weryfikator sterowników jest zintegrowany z systemem operacyjnym, dzięki czemu można przetestować sterownik w czasie wykonywania po jego skompilowania, wdrożeniu i zainstalowaniu.
Korzystając z kodu źródłowego sterownika, Static Driver Weryfikator tworzy model sterownika i systemu operacyjnego. W tym modelu SDV umieszcza sterownik w wrogim środowisku i systematycznie testuje ścieżki kodu przez sterownik, poszukując naruszeń sformalizowanego zestawu reguł zgodności sterowników (reguły statycznego weryfikatora sterowników).
Począwszy od systemu Windows 8, można skonfigurować weryfikatora sterowników do uruchamiania niektórych z tych samych kontroli zgodności zainstalowanych sterowników, włączając sprawdzanie zgodności DDI.
Ważne
SdV nie jest już obsługiwane i SDV nie jest dostępny w wersjach zestawu WDK lub EWDK systemu Windows 24H2. Nie jest on dostępny w zestawach WDK nowszych niż kompilacja 26017 i nie jest uwzględniony w zestawie WDK systemu Windows 24H2 RTM.
SDV może być nadal używany przez pobranie pakietu EWDK dla systemu Windows 11 w wersji 22H2 (wydanego 24 października 2023 r.) z narzędziami kompilacji Visual Studio 17.1.5, z linku 'Pobierz zestaw sterowników systemu Windows (WDK)'. Zaleca się używanie Enterprise WDK do uruchamiania SDV. Używanie starszych wersji standardowego zestawu WDK w połączeniu z najnowszymi wersjami programu Visual Studio nie jest zalecane, ponieważ prawdopodobnie spowoduje to błędy analizy.
W przyszłości kodQL będzie podstawowym narzędziem do analizy statycznej sterowników. Język CodeQL udostępnia zaawansowany język zapytań, który traktuje kod jako bazę danych do odpytywania, co ułatwia pisanie zapytań dotyczących określonych zachowań, wzorców i nie tylko.
Aby uzyskać więcej informacji na temat korzystania z CodeQL, zobacz CodeQL i Static Tools Logo Test.