Ellenőrzési folyamat

Az SDV egy ellenőrzést, vagyis egy tesztet végez annak megállapítására, hogy az illesztőprogram tényleges viselkedése megfelel-e a megfelelő viselkedést meghatározó szabályoknak.

Amikor elküld egy parancsot egy illesztőprogram ellenőrzéséhez, az SDV egy háromlépéses folyamatot hajt végre, amely során meghatározza, hogy mely fájlokra van szüksége, előkészíti a fájlokat, és ellenőrzi az illesztőprogramot.

Ez a témakör azt ismerteti, hogy mi történik az ellenőrzési folyamat egyes lépéseiben.

Épít

A buildelési lépés során az SDV lefordítja, összekapcsolja és létrehozza az illesztőprogramot az MSBuild használatával.

Beolvasás

A vizsgálati lépés során az SDV megvizsgálja az illesztőprogram kódját a függvényszerepkör-típus deklarációihoz, összeállítja az illesztőprogram belépési pontjainak listáját, és létrehozza az Sdv-map.h fájlt abban a könyvtárban, amely az illesztőprogram forrásfájlját (más néven az illesztőprogram forráskönyvtárát) tárolja.

Ellenőriz

Az Ellenőrzési lépés során az SDV előkészíti és ellenőrzi a meghajtót az általad a hitelesítéshez kiválasztott szabályok használatával. A választható szabályokkal kapcsolatos további információkért lásd: Static Driver Verifier Rules.

Az SDV először annak meghatározásával kezdődik, hogy a kiválasztott szabályokhoz szükség van-e az operációsrendszer-modell további összetevőire. Ha igen, az SDV a további operációsrendszer-modellfájlokat az illesztőprogram forráskönyvtárába másolja.

Ezután az illesztőprogram-fájlok, a kódtárfájlok, a szabálykódfájlok (RuleName.slic) és az operációsrendszer-modell fájljai egyetlen végrehajtható fájlba vannak csatolva az ellenőrzéshez.

Az SDV ellenőrző motor ezután egyszerre egy szabályt ellenőriz, amíg az összes kiválasztott szabályt nem ellenőrzi.

Ebben a lépésben az SDV létrehoz egy alkönyvtárat minden olyan szabályhoz, amelyet a DriverPath\sdv\check könyvtárban ellenőrzött.

Megjegyzés

Bár az SDV végrehajtja az ellenőrzési folyamat lépéseit, állapotüzeneteket ír a parancssorba, valamint az egyes lépések során felmerülő hibákat jelző hibaüzeneteket. Az állapotüzenetekről további információtCommand-Line Kimenet című témakörben talál. A hibaüzenetekről további információt a Static Driver Verifier hibaüzenetei című témakörben talál. Az SDV-vel kapcsolatos problémák elhárításához és a Microsofttal való együttműködéshez szükséges diagnosztikák engedélyezéséről itt talál információt: Static Driver Verifier Diagnostics.