Вы зря именно так разделили. Если уж быть до конца последовательным (мне), то вот эта часть сообщения:
... не менее смешна (ибо так же содержит ложь). Я просто не стал "ранить психику" Виталия Я., так как он, насколько я знаю, не технический специалист, и ему позволительно (таково устройство мира, к сожалению, -- не я его придумал) лгать во имя компании, плюс это заявление не столь категорично по своей природе, как последовавшее от Ильи Рабиновича.
А так, тем кто занимается разработкой драйверов под OS Windows, очевидно что:
- проверка DriverVerifier'ом, это обязательное условие разработки (при чем, в противном случае не будет получено одобрение WHQL лаборатории Microsoft -- никому не нужно, чтобы на миллионах компьютерах пользователей стояло падучее поделье, из-за которого потом простые пользователи говорили что-нибудь вроде Ильи, но про Windows, а не DV: "Windows - полное глюкало! Баг на баге! У меня в синий экран падает. Куплю-ка я себе Mac - вот это круто!".
Вот что считает по этому поводу Microsoft, а не другие "специалисты": "Driver Verifier is a tool for monitoring Windows kernel-mode drivers and graphics drivers. Microsoft strongly encourages hardware manufacturers to test their drivers with Driver Verifier to ensure that drivers are not making illegal function calls or causing system corruption. [...] Drivers submitted to WHQL for testing must pass Driver Verifier".
Поэтому ребятам так и хочется сказать -- идите и расскажите Microsoft, что они идиоты. И нужно срочно отменить этот тест. Ведь DriverVerifier - глючное поделье.
А я вот как раз (в пику некорректному мнению про "нужно вообще исключить тест на DV, ведь мы пишем кривые программы") считаю, что непрохождение теста на DV должно просто сразу же прекращать какое-либо тестирование. А у людей, которые не понимают для чего создан DV (или как с ним работать), просто отнять Windows DDK. Чтобы в своей жизни ни одного драйвера под Windows не создавали с таким наплевательским подходом -- ведь страдать будут потом конечные пользователи, а не они.
Ну и про медицину, космос и проч., конечно, тоже. Дело в том, что Windows не применим для использования в таких системах. Обычно в документах это сопровождается примерно подобными по сути строчками: " IS NOT FAULT TOLERANT AND IS NOT DESIGNED, MANUFACTURED, OR INTENDED FOR USE OR RESALE AS ON-LINE CONTROL EQUIPMENT IN HAZARDOUS ENVIRONMENTS REQUIRING FAIL-SAFE PERFORMANCE, SUCH AS IN THE OPERATION OF NUCLEAR FACILITIES, AIRCRAFT NAVIGATION OR COMMUNICATION SYSTEMS, AIR TRAFFIC CONTROL, DIRECT LIFE SUPPORT MACHINES, OR WEAPONS SYSTEMS, IN WHICH THE FAILURE OF JAVA TECHNOLOGY COULD LEAD DIRECTLY TO DEATH, PERSONAL INJURY, OR SEVERE PHYSICAL OR ENVIRONMENTAL DAMAGE.".
Единственная правда в том сообщении - да, "был бы получен BSOD, а не leak" -- но это ведь никого не волнует, никому ведь не страшно, что пользователь потеряет свои данные. Или, например, при работе с mirror-RAID его ждет ресинхронизация на несколько часов. (И проч. различные вкусности в зависимости от задач и деятельности пользователей).
Вот такая вот правда раскрывается про разработку драйверов, разработчиков драйверов, и их отношение к пользователям.
Как страшно жить.
P.S. Так что когда на авто-сервисе вам впаривают что-нибудь -- не пугайтесь, впаривают везде, как видите.
UPDATE: Кстати, знаете основные причины падения Windows у пользователей? Открою небольшой секрет. Это не ошибки в Windows Kernel. Это не ошибки UserMode'ных приложений (для тех, кто не знает - они вообще не актуальны для NT-based систем в плане "урона"). Это ошибки в драйверах сторонних производителей (third party vendords). А теперь может быть наглядно понятно - почему именно.