확인 프로세스

SDV는 드라이버의 실제 동작이 적절한 동작을 정의하는 규칙을 준수하는지 여부를 확인하는 테스트를 수행합니다.

드라이버를 확인하는 명령을 제출하면 SDV는 3단계 프로세스를 수행하여 필요한 파일을 결정하고, 파일을 준비하고, 드라이버를 확인합니다.

이 항목에서는 확인 프로세스의 각 단계에서 발생하는 작업을 설명합니다.

빌드 단계에서 SDV는 MSBuild를 사용하여 드라이버를 컴파일, 연결 및 빌드합니다.

검사 단계에서 SDV는 드라이버의 코드에서 함수 역할 형식 선언을 검색하고, 드라이버 진입점 목록을 어셈블하고, 드라이버의 원본 파일(드라이버의 원본 디렉터리라고 함)을 저장하는 Sdv-map.h 파일을 디렉터리에 만듭니다.

확인 단계에서 SDV는 확인을 위해 선택한 규칙을 사용하여 드라이버를 준비하고 확인합니다. 선택할 수 있는 규칙에 대한 자세한 내용은 정적 드라이버 검증 도구 규칙을 참조하세요.

SDV는 선택한 규칙에 운영 체제 모델의 추가 구성 요소가 필요한지 확인하여 시작합니다. 이 경우 SDV는 추가 운영 체제 모델 파일을 드라이버의 원본 디렉터리에 복사합니다.

다음으로, 드라이버 파일, 라이브러리 파일, 규칙 코드(RuleName.slic) 파일 및 운영 체제 모델 파일은 확인을 위해 단일 실행 파일에 연결됩니다.

그런 다음 SDV 확인 엔진은 선택한 모든 규칙을 확인할 때까지 한 번에 하나의 규칙을 확인합니다.

이 단계에서 SDV는 DriverPath\sdv\검사 디렉터리에서 확인한 각 규칙에 대한 하위 디렉터리를 만듭니다.

SDV는 확인 프로세스의 단계를 수행하는 동안 각 단계에서 발생하는 오류를 보고하는 오류 메시지와 함께 명령줄에 상태 메시지를 씁니다. 상태 메시지에 대한 자세한 내용은 명령줄 출력을 참조하세요. 오류 메시지에 대한 자세한 내용은 정적 드라이버 검증 도구 오류 메시지를 참조하세요. 사용자와 Microsoft가 SDV 문제를 해결하는 데 도움이 되는 진단 사용하도록 설정하는 방법에 대한 자세한 내용은 정적 드라이버 검증 도구 진단을 참조하세요.

피드백