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

Процесс проверки

  • Статья

SDV проводит проверку, т. е. тест, чтобы определить, соответствует ли фактическое поведение водителя правилам, определяющим правильное поведение.

При отправке команды для проверки драйвера SDV выполняет трехэтапный процесс, в ходе которого определяет необходимые файлы, подготавливает файлы и проверяет драйвер.

В этом разделе описывается, что происходит на каждом из этапов процесса проверки.

Сборка

На этапе сборки SDV компилирует, связывает и создает драйвер с помощью MSBuild.

Сканирования

На этапе Сканирования SDV проверяет код драйвера на наличие объявлений типов ролей функций, собирает список точек входа драйвера и создает файл Sdv-map.h в каталоге, в котором хранится исходный файл драйвера (известный как каталог источников драйвера).

Проверьте

На шаге Проверка SDV подготавливает и проверяет драйвер, используя правила, выбранные для проверки. Дополнительные сведения о правилах, которые можно выбрать, см. в статье Статические правила проверки драйверов.

SdV начинается с определения того, требуются ли для выбранных правил дополнительные компоненты модели операционной системы. В этом случае SDV копирует дополнительные файлы модели операционной системы в каталог источников драйвера.

Затем файлы драйверов, файлы библиотек, код правил (RuleName.slic) и файлы модели операционной системы связываются в один исполняемый файл для проверки.

Затем модуль проверки SDV проверяет одно правило за раз, пока он не проверит все выбранные правила.

На этом шаге SDV создает подкаталог для каждого правила, проверенного в каталоге DriverPath\sdv\проверка.

Комментарий

Хотя SDV выполняет шаги в процессе проверки, оно записывает сообщения о состоянии в командную строку, а также сообщения об ошибках, которые сообщают об ошибках, возникающих на каждом шаге. Сведения о сообщениях состояния см. в разделе Выходные данные командной строки. Сведения о сообщениях об ошибках см. в разделе Сообщения об ошибках средства проверки статических драйверов. Сведения о включении диагностика, которые помогут вам и корпорации Майкрософт устранять проблемы с SDV, см. в разделе Диагностика статического средства проверки драйверов.