> Господи, да поймите же вы что среди проблем в разработке драйверов, ошибки/опечатки
> отнюдь не номер 1.
> Реальные проблемы низкоуровневого программирования:
> - кривоватость самого железа/фирмвари, заставляющая городить воркэраунды, иногда весьма
> нетривиальные;
> - несовпадение документации с реальностью, прорехи в документации и прочая errata;
> - всяческие проблемы тайминга, состязания (в том числе и с участием железа)
> и т.п.

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

> Ничему из этого тесты помочь не в состоянии.

Тесты в состоянии ответить на вопрос: соответствует ли код драйвера представлениям программиста о том, как оно должно работать (по его же мнению). Может он где-то сам ошибся - то его же тесты его же и поправят.