다음을 통해 공유

확인 전달 및 실패

  • 아티클

규칙의 SDV 확인에는 다음과 같은 세 가지 기본 결과가 있습니다.

  • 드라이버가 확인을 통과합니다 .

  • 드라이버가 확인에 실패합니다 .

  • 결과는 결정적이지 않습니다.

이러한 결과를 기반으로 결론을 도출하기 전에 각 결과를 이해하고 해당 결과에 수반되는 많은 자격을 알고 있어야 합니다. 어떤 결과도 드라이버의 최종 또는 완전한 평가로 판단해서는 안 됩니다.

확인 결과

드라이버 코드에서 모든 관련 실행 경로를 탐색한 후 SDV 확인 엔진이 드라이버가 확인을 위해 선택된 규칙을 위반했음을 증명할 수 없는 경우 드라이버는 SDV 확인을 통과합니다.

SDV 확인 엔진이 드라이버가 규칙을 한 번 이상 위반했음을 증명하면 드라이버가 확인에 실패 합니다. 위반을 결함이라고 합니다. 드라이버가 규칙을 두 번 이상 위반하면 SDV는 여러 결함을 보고합니다.

시간 제한(시간 제한 결과) 또는 메모리 부족(Spaceout 결과)으로 인해 완료되기 전에 종료되거나 SDV가 통과 또는 실패(불확실한 결과)에 도달할 수 없는 경우 확인은 결정적이지 않습니다. 또한 SDV에서 작업을 완료하지 못하는 내부 도구 오류가 발생했을 수 있습니다. (결과에 대한 자세한 내용은 정적 드라이버 검증 도구 결과 해석을 참조하세요.)

규칙이 드라이버에 적용되지 않는 경우(예: 드라이버가 규칙이 확인하는 디바이스 드라이버 인터페이스를 사용하지 않는 경우) SDV는 규칙이 적용되지 않는다고 보고합니다.