DDI 규정 준수 규칙

이 섹션에서는 WDM(Windows 드라이버 모델), KMDF(커널 모드 드라이버 프레임워크), 오디오(PortCls), KS(AVStream), NDIS 및 Storport 드라이버를 확인하는 데 사용할 수 있는 Windows DDI(디바이스 드라이버 인터페이스) 준수 규칙을 나열하고 설명합니다. DDI 준수 규칙은 운영 체제의 커널 인터페이스와 드라이버 간의 적절한 상호 작용에 대한 요구 사항을 정의합니다.

오디오 드라이버에 대한 규칙
AVStream 드라이버에 대한 규칙
WDM 드라이버에 대한 규칙
KMDF 드라이버에 대한 규칙
NDIS 드라이버에 대한 규칙
Storport 드라이버에 대한 규칙

Important

Windows 하드웨어 호환성 프로그램에는 클라이언트 및 서버 운영 체제에서 STL(정적 도구 로고) 테스트용 CodeQL이 필요합니다. 우리는 기본 이전 제품에 대한 SDV 및 CA에 대한 지원을 계속 얻을 것입니다. 파트너는 정적 도구 로고 테스트에 대한 CodeQL 요구 사항을 검토하는 것이 좋습니다. CodeQL 사용에 대한 자세한 내용은 CodeQL 및 정적 도구 로고 테스트를 참조하세요.

드라이버 확인 도구

코드 분석 도구, 정적 드라이버 검증 도구드라이버 검증 도구를 사용하여 드라이버에서 DDI 사용 규칙 준수를 테스트할 수 있습니다. SDV(정적 드라이버 검증 도구)는 드라이버 소스 코드에 대한 정적 분석을 수행하므로 개발 주기 초기에 SDV를 사용할 수 있습니다. 드라이버 검증 도구는 운영 체제와 통합되므로 빌드, 배포 및 설치한 후 런타임에 드라이버를 테스트할 수 있습니다.

정적 드라이버 검증 도구는 드라이버 소스 코드를 사용하여 드라이버 및 운영 체제의 모델을 만듭니다. 이 모델에서 SDV는 드라이버를 적대적인 환경에 배치하고 드라이버 준수 규칙의 공식화된 집합(정적 드라이버 검증 도구 규칙)의 위반을 검색하여 드라이버를 통해 코드 경로를 체계적으로 테스트합니다.

Windows 8부터 DDI 규정 준수 검사 사용하도록 설정하여 설치된 드라이버에서 동일한 규정 준수 검사 중 일부를 실행하도록 드라이버 검증 도구를 구성할 수 있습니다.

드라이버 검증 도구

정적 드라이버 검증 도구