Модульное тестирование драйверов kernel

Будучи автором cfix, я мог бы быть немного предвзятым здесь - но на самом деле, я в настоящее время не знаю никакой другой структуры модульного тестирования для режима NT kernel.

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

Microsoft Static Driver Verifier описывается как " средство компиляции, которое исследует пути кода в драйвере устройства путем символического выполнения исходного кода. SDV - это инструмент модульного тестирования драйверов устройств Microsoft Windows, основанный на модели драйверов Windows (WDM)."

Это то, что ты ищешь?