SDV는 드라이버의 실제 동작이 적절한 동작을 정의하는 규칙을 준수하는지 여부를 확인하는 테스트를 수행합니다.
드라이버를 확인하는 명령을 제출하면 SDV는 3단계 프로세스를 수행하여 필요한 파일을 결정하고, 파일을 준비하고, 드라이버를 확인합니다.
이 항목에서는 확인 프로세스의 각 단계에서 발생하는 작업을 설명합니다.
빌드
빌드 단계 중에 SDV는 MSBuild를 사용하여 드라이버를 컴파일, 연결 및 빌드합니다.
스캔하다
검사 단계 중에 SDV는 드라이버의 코드에서 함수 역할 형식 선언을 검색하고, 드라이버 진입점 목록을 어셈블하고, 드라이버의 원본 파일(드라이버의 원본 디렉터리라고 함)을 저장하는 Sdv-map.h 파일을 디렉터리에 만듭니다.
확인
확인 단계에서 SDV는 확인을 위해 선택한 규칙을 사용하여 드라이버를 준비하고 확인합니다. 선택할 수 있는 규칙에 대한 자세한 내용은 정적 드라이버 검증 도구 규칙을 참조하세요.
SDV는 선택한 규칙에 운영 체제 모델의 추가 구성 요소가 필요한지 확인하여 시작합니다. 이 경우 SDV는 추가 운영 체제 모델 파일을 드라이버의 원본 디렉터리에 복사합니다.
다음으로 드라이버 파일, 라이브러리 파일, 규칙 코드(RuleName.slic) 파일 및 운영 체제 모델 파일은 확인을 위해 단일 실행 파일에 연결됩니다.
그런 다음 SDV 확인 엔진은 선택한 모든 규칙을 확인할 때까지 한 번에 하나의 규칙을 확인합니다.
이 단계에서 SDV는 DriverPath\sdv\check 디렉터리에서 확인된 각 규칙에 대한 하위 디렉터리를 만듭니다.
주석
SDV는 확인 프로세스의 단계를 수행하는 동안 각 단계에서 발생하는 오류를 보고하는 오류 메시지와 함께 명령줄에 상태 메시지를 씁니다. 상태 메시지에 대한 자세한 내용은 Command-Line 출력을 참조하세요. 오류 메시지에 대한 자세한 내용은 정적 드라이버 검증 도구 오류 메시지를 참조하세요. 사용자와 Microsoft가 SDV 문제를 해결하는 데 도움이 되는 진단을 사용하도록 설정하는 방법에 대한 자세한 내용은 정적 드라이버 검증 도구 진단을 참조하세요.