承诺更少蓝屏：微软推出bug检查工具

微软正准备为硬件制造商推出两个五金|工具，以帮助它们开发更加稳定和安全的Windows驱动程序，以减少崩溃的发生。

　　这两个工具分别是PreFast For Drivers和Static Driver Verifier，它们都是源代码分析工具，可以找到驱动源代码中的普通漏洞，以便修复。第二个beta版已经在上周的WinHEC会议上推出。

　　Windows要求驱动程序驱动内建于PC或连接到PC的硬件。充满bug的驱动会引起很多问题。特别是在内核模式驱动程序的错误会引起致命的崩溃，并导致出名的“蓝屏”事件。

　　内核模式的驱动程序运行在Windows的底层。也有运行如打印机，图像，USB设备和其它硬件的用户模式驱动程序。微软表示，这些驱动的崩溃不必通过重启就可以恢复。Windows的驱动由微软及硬件制造商进行开发。

　　对于Vista来说，所有的驱动都会经过一个检查过程。这两个工具也支持以前版本的Windows，最早支持到Windows 2000。微软表示，Static Driver Verifier是特别针对内核模式的驱动，而PreFast For Drivers则支持所有不同种类的驱动程序。

　　这两个检查bug的工具的第一个beta版早在去年的WinHEC会议上就已经发布，这是第一次微软以外的开发人员可以参与到其中。

　　这些工具是微软Windows Driver Development Kit的一部分。