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

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

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

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

Строить

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

Сканировать

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

Проверка

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

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

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

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

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

Комментарий

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