Proces ověření

SDV provádí ověření, tj. test určující, jestli skutečné chování řidiče splňuje pravidla definující správné chování.

Když odešlete příkaz k ověření ovladače, SDV provede třístupňový proces, během kterého určí, které soubory potřebuje, připraví soubory a ověří ovladač.

Toto téma popisuje, co se stane v jednotlivých krocích procesu ověření.

Vybudovat

Během kroku sestavení SDV zkompiluje, propojí a sestaví ovladač pomocí nástroje MSBuild.

Skenovat

Během kroku Skenování SDV prohledá kód vašeho ovladače pro deklarace typu role funkce, sestaví seznam vstupních bodů ovladače a vytvoří soubor Sdv-map.h v adresáři, který ukládá zdrojový soubor pro ovladač (označuje se jako adresář zdrojů ovladače).

Kontrolovat

Během kroku Kontrola se SDV připraví a ověří ovladač pomocí pravidel, která jste vybrali pro ověření. Další informace o pravidlech, která můžete vybrat, naleznete v tématu Static Driver Verifier Rules.

SDV začíná určením, jestli vybraná pravidla vyžadují další komponenty modelu operačního systému. Pokud ano, SDV zkopíruje další soubory modelu operačního systému do adresáře zdrojů ovladače.

Dále se soubory ovladačů, soubory knihovny, kód pravidla (RuleName.slic) a soubory modelu operačního systému pro ověření provedou propojením s jedním spustitelným souborem.

Ověřovací modul SDV pak ověřuje jedno pravidlo po druhém, dokud neověří všechna vybraná pravidla.

Během tohoto kroku SDV vytvoří podadresář pro každé pravidlo, které ověřil v adresáři DriverPath\sdv\check.

Komentář

I když SDV provádí kroky v procesu ověřování, zapisuje stavové zprávy do příkazového řádku spolu s chybovými zprávami, které hlásí chyby, které vznikají v jednotlivých krocích. Informace o stavových zprávách najdete v tématu Command-Line Výstup. Informace o chybových zprávách naleznete v tématu Chybové zprávy ověření statického ovladače. Informace o povolení diagnostiky, které vám a Microsoftu pomůžou řešit problémy s SDV, najdete v tématu Diagnostika ověření statického ovladače.