Sdílet prostřednictvím

Analýza ovladače pomocí nástrojů pro analýzu kódu a ověření

Nástroje pro analýzu kódu a ověřování mohou přispět ke zlepšení stability a spolehlivosti ovladače tím, že systematicky analyzují zdrojový kód. Nástroje pro analýzu a ověřování kódu mohou odhalit chyby, které kompilátor neodhalil, a běžným testováním za běhu programu. Kromě toho mohou určit, zda ovladač správně komunikuje s jádrem operačního systému Windows. Pomocí sady Microsoft Visual Studio a sady Windows Driver Kit (WDK) můžete nakonfigurovat nástroje pro analýzu kódu a ověření tak, aby se spouštěly jako součást procesu sestavení, nebo můžete naplánovat, aby nástroje analyzovaly ovladač v předem určený čas.

nástroj pro analýzu kódu C/C++ pro ovladače Systému Windows

Verze WDK systému Windows 8 poskytuje vylepšení nástroje pro analýzu kódu C/C++, který je součástí sady Visual Studio. Konkrétně WDK poskytuje specializovaný modul ovladačů, který je navržený k detekci chyb v kódu ovladače v režimu jádra. Tento modul ovladače je integrovaný do nástroje pro analýzu kódu C/C++.

Kdy použít: Můžete spustit nástroj pro analýzu kódu C/C++ pro ovladače velmi brzy ve vývojovém cyklu, jakmile se kód správně zkompiluje.

Informace o nástroji Analýza kódu v sadě Visual Studio najdete tady:

Poznámka V předchozích verzích WDK byl modul specifický pro ovladač pro analýzu kódu součástí samostatného nástroje s názvem PREfast for Drivers (PFD). PrEfast for Drivers byl také integrován do prostředí WDK Build jako součást automatizovaného revize kódu společnosti Microsoft (OACR).

Ověření statického ovladače

Static Driver Verifier (SDV) je nástroj pro statické ověření, který systematicky analyzuje zdrojový kód ovladačů režimu jádra Systému Windows. SDV určuje, jestli ovladač správně pracuje s jádrem operačního systému Windows. SDV lze spustit z nabídky Ovladač v nástroji Visual Studio nebo z okna příkazového řádku Visual Studio.

Kdy použít: Spuštění statického ověřovatele ovladačů v rané fázi vývojového cyklu u ovladačů, které se kompilují správně. Před zahájením testovacího cyklu spusťte ověření statického ovladače.

Informace o nástroji Static Driver Verifier naleznete v tématu:

  • Last updated on