此浏览器不再受支持。
请升级到 Microsoft Edge 以使用最新的功能、安全更新和技术支持。
注意
访问此页面需要授权。 可以尝试登录或更改目录。
访问此页面需要授权。 可以尝试更改目录。
SDV 验证引擎 是一个强大的证明引擎，用于对 SDV 执行规则验证。
验证引擎采用以下输入：
驱动程序代码
静态驱动程序验证程序规则
静态驱动程序验证程序 操作系统模型
此页面是否有帮助？
需要有关本主题的帮助？
想要尝试使用 Ask Learn 阐明或指导你完成本主题？