Analizowanie sterownika przy użyciu narzędzi do analizy kodu i weryfikacji
Narzędzia do analizy kodu i weryfikacji mogą pomóc zwiększyć stabilność i niezawodność sterownika, systematycznie analizując kod źródłowy. Narzędzia do analizy kodu i weryfikacji mogą wykrywać błędy pominięte przez kompilator i konwencjonalne testowanie środowiska uruchomieniowego. Ponadto mogą określić, czy sterownik poprawnie współdziała z jądrem systemu operacyjnego Windows. Za pomocą programu Microsoft Visual Studio i zestawu Windows Driver Kit (WDK) można skonfigurować narzędzia do analizy kodu i weryfikacji w ramach procesu kompilacji lub zaplanować narzędzia do analizowania sterownika w określonym czasie.
Narzędzie do analizy kodu C/C++ dla sterowników systemu Windows
Wersja zestawu WDK systemu Windows 8 udostępnia ulepszenia narzędzia C/C++ Code Analysis dołączonego do programu Visual Studio. W szczególności zestaw WDK udostępnia wyspecjalizowany moduł sterowników przeznaczony do wykrywania błędów w kodzie sterownika trybu jądra. Ten moduł sterownika jest zintegrowany z narzędziem do analizy kodu C/C++.
Kiedy należy użyć: Narzędzie do analizy kodu języka C/C++ można uruchomić bardzo wcześnie w cyklu programowania, gdy tylko kod zostanie poprawnie skompilowany.
Aby uzyskać informacje o narzędziu Do analizy kodu w programie Visual Studio, zobacz:
- Analizowanie jakości aplikacji przy użyciu analizy kodu
- Analiza kodu dla sterowników
- Jak uruchomić analizę kodu dla sterowników
- używanie adnotacji SAL w celu zmniejszenia liczby wad kodu C/C++
- Adnotacje SAL 2.0 dla sterowników systemu Windows
Uwaga W poprzednich wersjach zestawu WDK moduł analizy kodu specyficzny dla sterownika był częścią samodzielnego narzędzia o nazwie PREfast for Drivers (PFD). Funkcja PREfast for Drivers została również zintegrowana ze środowiskiem kompilacji WDK w ramach zautomatyzowanego przeglądu kodu firmy Microsoft (OACR).
Statyczny weryfikator sterowników
Static Driver Verifier (SDV) to statyczne narzędzie do weryfikacji, które systematycznie analizuje kod źródłowy sterowników trybu jądra systemu Windows. SdV określa, czy sterownik poprawnie współdziała z jądrem systemu operacyjnego Windows. SDV można uruchomić z menu Sterownik w Visual Studio lub z okna Wiersz polecenia Visual Studio.
Kiedy należy użyć: Uruchom weryfikator sterowników statycznych na wczesnym etapie cyklu programowania dla sterowników, które poprawnie skompiluje. Uruchom weryfikator sterowników statycznych przed rozpoczęciem cyklu testowego.
Aby uzyskać informacje o statycznym weryfikatorze sterowników, zobacz: