Поделиться через

Создание файла журнала для средства проверки статического драйвера

  • Статья

Программа сертификации оборудования Windows требует журнал проверки драйвера (DVL) для отправки драйверов. Перед созданием DVL для драйвера может потребоваться запустить средство проверки статических драйверов. DVL может содержать сводку результатов из таких средств, как CodeQL, анализ кода и средство проверки статических драйверов. Файлы журнала не содержат сведения о исходном коде. Дополнительные сведения см. в разделе "Статические средства" и "КодQL" и "Статические средства"

Создание файла журнала для SDV

  1. В Microsoft Visual Studio выберите файл проекта драйвера, а затем выберите и удерживайте (или щелкните правой кнопкой мыши), чтобы открыть свойства проекта.
  2. Если вы уже выполнили средство анализа кода, следуйте этим инструкциям для запуска средства проверки статических драйверов. Дополнительные сведения об использовании SDV см. в статье "Использование средства проверки статических драйверов для поиска дефектов в драйверах"
  3. Если SDV находит дефекты в драйвере, выберите дефект в области результатов, чтобы просмотреть трассировку пути кода, который привел к нарушению правила. Исправьте все дефекты, обнаруженные в драйвере, и снова запустите SDV.

Средство проверки статических драйверов записывает результаты в файл SDV.DVL.xml в вложенный каталог SDV проекта, например \myDriverProject\SDV.

Замечания

Последние сведения о статическом проверяющем драйвере и журнале проверки драйверов см. в заметках о выпуске WDK. Заметки о выпуске доступны на странице скачивания пакета драйверов Windows (WDK).

Внимание

Время ожидания, пробелы и другие неисчислимые результаты в DVL-файле допустимы для отправки сертификации. Это не приведет к сбою теста статических средств в HCK. Для HCK 2.0 для тестирования статических средств требуется только наличие DVL-файла для отображения выполнения анализа кода и SDV, и не требует передачи всех правил.

Окно командной строки Visual Studio

Вы также можете запустить средство проверки статических драйверов из окна командной строки Visual Studio. Настройте среду, выполнив один из следующих пакетных файлов.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

-или-

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Запустите средство проверки статических драйверов.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"