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

Передача и сбой проверки

  • Статья

Проверка SDV правила имеет три основных результата:

  • Драйвер проходит проверку.

  • Драйвер не проходит проверку.

  • Результат неубедительный.

Прежде чем делать какие-либо выводы на основе этих результатов, вы должны понимать каждый результат и знать о многих квалификациях, которые они влечет за собой. Не следует судить о том, что какой-либо результат является окончательной или полной оценкой драйвера.

Результаты проверки

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

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

Проверка является неубедительной , если она завершается до завершения из-за превышения времени ожидания (результат ожидания ) или нехватки памяти (результат пробела ) или когда SDV не удалось достичь успешного или неудачного заключения ( неопределенный результат). Кроме того, sdv может столкнуться с внутренними ошибками инструментов, которые препятствуют выполнению задач. (Дополнительные сведения о результатах см. в разделе Интерпретация результатов средства проверки статических драйверов.)

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