Pravidla dodržování předpisů DDI

Tato část obsahuje seznam a popisuje pravidla dodržování předpisů rozhraní DDI (Windows Device Driver Interface), která můžete použít k ověření modelu ovladače systému Windows (WDM), architektury ovladače režimu jádra (KMDF), zvuku (PortCls), AVStream (KS), NDIS a ovladačů Storport. Pravidla dodržování předpisů DDI definují požadavky pro správnou interakci mezi ovladačem a rozhraním jádra operačního systému.

pravidla pro ovladače zvuku
pravidla pro ovladače AVStream
pravidla pro ovladače WDM
pravidla pro ovladače KMDF
pravidla pro ovladače NDIS
Pravidla pro ovladače Storport

Důležité

Program kompatibility hardwaru s Windows vyžaduje program CodeQL pro testy loga statického nástroje (STL) na našich klientských a serverových operačních systémech. U starších produktů budeme i nadále udržovat podporu SDV a CA. Partneři jsou důrazně vyzýváni, aby zkontrolovali požadavky CodeQL na test loga statického nástroje. Další informace o použití CodeQL naleznete v tématu CodeQL a Static Tools Logo Test.

Nástroje pro ověření ovladače

K otestování dodržování předpisů pro pravidla použití DDI můžete použít nástroje pro analýzu kódu, nástroj Static Driver Verifier a Driver Verifier . Static Driver Verifier (SDV) provádí statickou analýzu zdrojového kódu ovladače, takže můžete použít SDV v rané fázi vývojového cyklu. Ovladač Verifier je integrovaný s operačním systémem, takže můžete otestovat ovladač za běhu po jeho sestavení, nasazení a instalaci.

Pomocí zdrojového kódu ovladače vytvoří nástroj Static Driver Verifier model ovladače a operačního systému. V tomto modelu SDV umístí ovladač do nepřátelského prostředí a systematicky testuje cesty kódu ovladače hledáním porušení formalizované sady pravidel dodržování předpisů ovladačů (statická pravidla ověření ovladače).

Počínaje Systémem Windows 8 můžete nakonfigurovat nástroj Driver Verifier tak, aby na nainstalovaných ovladačích spustil některé stejné kontroly dodržování předpisů tím, že povolí kontrolu dodržování předpisů DDI.

Důležité

SDV se už nepodporuje a SDV není k dispozici ve verzích Windows 24H2 WDK nebo EWDK. Není k dispozici v wdk novější než build 26017 a není součástí windows 24H2 RTM WDK. SDV lze stále používat stažením Windows 11 verze 22H2 EWDK, vydaného 24. října 2023, s nástroji Visual Studio Build Tools 17.1.5 z Stáhnout sadu Windows Driver Kit (WDK). Doporučuje se pouze použití sady Enterprise WDK ke spuštění SDV. Použití starších verzí standardní sady WDK ve spojení s nedávnými verzemi sady Visual Studio se nedoporučuje, protože to bude pravděpodobně mít za následek selhání analýzy.
V budoucnu bude CodeQL primárním nástrojem pro statickou analýzu ovladačů. CodeQL poskytuje výkonný dotazovací jazyk, který zpracovává kód jako databázi, která se má dotazovat, což usnadňuje psaní dotazů pro konkrétní chování, vzory a další. Další informace o použití CodeQL naleznete v tématu CodeQL a Static Tools Logo Test.

Související témata

Kontrola ovladačů

Ověřitel statického ovladače