DDI 合规性规则

本部分列出并介绍 Windows 设备驱动程序接口 (DDI) 符合性规则,这些规则可用于验证 Windows 驱动模型 (WDM) 、内核模式驱动程序框架 (KMDF) 、音频 (PortCls) 、AVStream (KS) 、NDIS 和 Storport 驱动程序。 DDI 符合性规则定义了驱动程序和操作系统内核接口之间适当交互的要求。

音频驱动程序的规则
AVStream 驱动程序的规则
WDM 驱动程序的规则
KMDF 驱动程序的规则
NDIS 驱动程序的规则
Storport 驱动程序的规则

驱动程序验证工具

您可以使用 "代码分析工具"、" 静态驱动程序验证 程序" 和 " 驱动程序验证 程序" 来测试驱动程序是否符合 DDI 使用情况规则。 静态驱动程序验证器 (SDV) 对驱动程序源代码执行静态分析,因此你可以在开发周期的早期使用 SDV。 驱动程序验证程序与操作系统集成,因此你可以在生成、部署和安装驱动程序后,在运行时对其进行测试。

使用驱动程序源代码, 静态驱动程序验证 器会创建驱动程序和操作系统的模型。 在此模型中,SDV 将驱动程序放置在一个敌意的环境中,并通过查找与) (静态驱动程序验证程序规则 的一组规范化的驱动程序符合性规则的冲突来测试代码路径。

从 Windows 8 开始,你可以将驱动程序验证程序配置为在已安装的驱动程序上运行一些相同的符合性检查,方法是启用DDI 相容性检查

驱动程序验证程序静态驱动程序验证程序