*
驱动程序生命周期
*
**
驱动程序生命周期:基础
***
驱动程序设计
***
WDF 开发
***
验证和测试
***
安装和驱动程序签名
***
可靠性和安全
* *
*

验证和测试工具

Windows 驱动程序工具包 (WDK) 包含大量编译时期代码验证工具,可作为内置到 Windows 操作系统中的运行时期驱动程序验证程序的补充。可以使用代码验证工具在开发期间检测自己的代码,以实现更加可靠和可维护的驱动程序。WDK 还包含许多测试、跟踪、模拟和调试工具,这使得驱动程序编写人员可以更容易地在开发周期的早期发现问题。

"经验法则: 对于程序员计算机桌面上只需花费 1 美元就可修复的缺陷,一旦进入整个程序,就需要花费 100 美元来修复,如果部署到实际环境之后才发现该缺陷,其花费可能达几千美元。

Building a Better Bug Trap,《经济学家》- 2003 年 6 月

WDK 中的测试工具
WHDC 指南强调了在整个开发周期中测试驱动程序的非常重要的 Microsoft 工具,以及 Windows 开发人员使用这些工具的技巧。

PREfast
PREfast 基于函数分析代码,检查常见逻辑和使用错误。它能够检测到一般编译器很难发现的某些错误类型。

Windows 调试工具
一系列用于调试设备驱动程序的可扩展工具,包括用于调试源代码的 WinDbg。

静态驱动程序验证程序
SDV 是一种编译时工具,它通过象征性地执行源代码来查看代码运行情况。它应用系统内部知识来验证 WDF 和 WDM 驱动程序。

驱动程序验证程序
这是检测内核模式驱动程序中的错误的重要工具,它预想并测试在正常操作中可能注意不到的许多情形。KMDF 验证程序 提供了一些对驱动程序验证程序进行补充的功能。

设备模拟框架(Device Simulation Framework)
使用 DSF 可以通过软件模拟硬件,模拟实现后软件就可以显示为 Windows 中的真实设备,从而可以为硬件和设备驱动程序更改建立原型并构建复杂灵活的自动化测试。

相关博客:

Trouble Ahead- Trouble Behind
Bob Kjelgaard writes about WDF, Testing, QA, and (occasionally) life at Microsoft

New WDF debugging videos on WHDC
Tue, 22 Sep 2009 16:41:32 GMT

Time Doth Flee
Tue, 15 Sep 2009 16:12:00 GMT

Yet another WDF Blogger
Wed, 02 Sep 2009 17:44:03 GMT



此信息有用吗?