정적 드라이버 검증 도구 문제 해결을 위한 권장 사항

드라이버 소스 코드에서 SDV(정적 드라이버 검증 도구)를 실행하고 SDV에서 시간 제한, GiveUp 또는 Spaceout을 보고하는 경우 다음 작업을 시도합니다.

• 다음 권장 사항에는 SDV 구성 설정을 변경해야 합니다. 구성 설정은 구성 탭의 정적 드라이버 세부 정보, 리소스 또는 정적 드라이버 검증 도구 옵션 파일에서 직접 설정할 수 Sdv-defaults.xml. 기본 옵션 파일은 드라이버 모델과 관련이 있으며 \tools\sdv\data\model\ 디렉터리에서 찾을 수 있습니다. 여기서 model은 WDM, WDF, NDIS 또는 Storport입니다.
  1. 컴퓨터에 멀티 코어 프로세서가 있는 경우 확인 중에 사용되는 스레드 수를 1로 줄입니다. 구성 탭의 리소스 그룹에서 드롭다운 목록에서 1을 선택합니다. SDV 기본값 파일에서 SDV_SlamConfig_NumberOfTheads 값을 1로 변경합니다.
  2. SDV에서 시간 제한을 보고하는 경우 시간 제한 한도를 늘입니다. 이 값은 SDV가 규칙을 확인하는 데 소요되는 시간을 제한합니다. 기본값은 50분(3000초)입니다. 구성 탭의 리소스 그룹에서 최대 시간(분)을 변경하여 설정을 조정할 수 있습니다. 옵션 파일에서 SDV_SlamConfig_Timeout 값을 변경할 수 있습니다. 최소값은 10(초)이고 최대값은 86400(초)입니다. 예를 들어 SDV_SlamConfig_Timeout 값을 6000으로 두 배로 늘릴 수 있습니다.
• 이러한 제안 중 어느 것도 문제를 해결하는 데 도움이 없으면 모두 함께 적용해 보세요.

참고 이러한 기술은 실행의 실제 기간을 증가하지만 SDV가 작업을 더 쉽게 완료하고 유용한 결과(통과 또는 결함)를 가질 수 있도록 합니다.