Утилиты.
Для тестирования драйвера может быть полезна утилита Device Tree, поставляемая в составе DDK. Утилита позволяет просматривать параметры всех установленных в системе драйверов. Это может помочь убедиться в том, что драйвер действительно загружен и имеет необходимые параметры (например, зарегистрированные коды команд, тип драйвера и др.).
Специально для тестирования драйверов в состав DDK входит утилита Driver Verifier. Крайне рекомендуется производить проверку финальной версии драйвера этой утилитой, поскольку часть ошибок в драйвере (например, некорректная работа с нестраничной памятью) может быть незамечена даже при запуске драйвера. Driver Verifier имеет набор специальных тестов, позволяющих выявить подобные ошибки.
Источники информации.
DDK Documentation
MSDN
Стандартные заголовочные файлы, например:
ntddk.h
ntstatus.h
devioctl.h
**) указываются средства создания inf-файла, например, с использованием утилиты InfGen, входящей в состав DDK.