Verifieringsprocessen

SDV utför en verifiering, d.v.s. ett test för att avgöra om förarens faktiska beteende följer regler som definierar korrekt beteende.

När du skickar ett kommando för att verifiera en drivrutin utför SDV en trestegsprocess, under vilken den avgör vilka filer den behöver, förbereder filerna och verifierar drivrutinen.

Det här avsnittet beskriver vad som händer i vart och ett av stegen i verifieringsprocessen.

Bygga

Under byggsteget kompilerar, länkar och skapar SDV drivrutinen med hjälp av MSBuild.

Skanna

Under genomsökningssteget söker SDV igenom drivrutinskoden efter deklarationer av funktionsrollstyp, sammanställer en lista över drivrutinsinmatningspunkter och skapar filen Sdv-map.h i katalogen som lagrar källfilen för drivrutinen (kallas drivrutinskällor).

Kontrollera

Under steget Kontrollera förbereder SDV för och verifierar drivrutinen med hjälp av de regler som du har valt för verifieringen. Mer information om de regler som du kan välja finns i Regler för kontroll av statiska drivrutiner.

SDV börjar med att avgöra om de valda reglerna kräver ytterligare komponenter i operativsystemets modell. Om de gör det kopierar SDV de ytterligare operativsystemmodellfilerna till drivrutins källkatalogen.

Därefter länkas drivrutinsfiler, biblioteksfiler, regelkodfiler (RuleName.slic) och operativsystemmodellfiler till en enda körbar fil för verifieringen.

SDV-verifieringsmotorn verifierar sedan en regel i taget tills den verifierar alla valda regler.

Under det här steget skapar SDV en underkatalog för varje regel som verifieras i katalogen DriverPath\sdv\check.

Kommentar

Medan SDV utför stegen i verifieringsprocessen skriver den statusmeddelanden till kommandoraden, tillsammans med felmeddelanden som rapporterar fel som uppstår i varje steg. Information om statusmeddelandena finns iCommand-Line Utdata. Information om felmeddelandena finns i Felmeddelanden för statisk drivrutinsverifierare. Information om hur du aktiverar diagnostik som hjälper dig och Microsoft att felsöka problem med SDV finns i Diagnostik för statisk drivrutinsverifierare.