드라이버를 확인하는 도구

WDK(Windows 드라이버 키트)에는 개발 프로세스 중에 드라이버 코드에서 오류를 감지하고 수정하는 데 도움이 되도록 설계된 몇 가지 매우 포괄적인 도구가 포함되어 있습니다. 이러한 도구의 대부분은 가장 중요한 개발 프로세스 초기에 사용할 수 있으며 가장 많은 시간과 노력을 절약할 수 있습니다.

이러한 확인 도구는 WDK 설명서에 설명되어 있으며 각 도구가 다양한 방식으로 다양한 유형의 드라이버 오류를 감지하기 때문에 사용하는 것이 좋습니다. 이러한 도구는 수동 검사 것보다 훨씬 효율적입니다. 이러한 도구는 일반적으로 표준 드라이버 테스트에서 찾을 수 없는 오류를 감지할 수 있으며, 검증된 드라이버 개발자 및 Windows 드라이버 인터페이스 디자이너의 전문 지식을 구현합니다.

최상의 결과를 위해 드라이버에서 실행할 수 있는 모든 도구를 사용합니다. 이러한 도구를 생략하면 드라이버에서 심각한 버그가 누락될 수 있습니다.

Important

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

이 섹션에서는 코드 확인 도구의 특성에 대한 간략한 설명과 WDK 및 Windows에 포함되거나 Microsoft에서 사용할 수 있는 도구에 대한 설문 조사로 시작합니다.

이 단원에는 다음이 포함됩니다.

정적 및 동적 확인 도구

드라이버에 대한 코드 분석

드라이버 검증 도구

정적 드라이버 검증 도구

DDI 규정 준수 규칙

CodeQL 및 정적 도구 로고 테스트

기타 도구

다른 소스의 다른 코드 또는 드라이버 확인 도구에 액세스할 수 있는 경우 WDK의 도구 외에도 사용하는 것이 좋습니다. Windows 드라이버에 대한 구체적인 지식 때문에 드라이버, 정적 드라이버 검증 도구 및 드라이버 검증 도구에 대한 코드 분석을 사용해야 하지만, 모든 도구는 다양한 방법으로 코드를 확인하므로 다양한 유형의 문제를 찾고 해결하는 데 도움이 될 수 있습니다.