操作系统模型

SDV 操作系统模型 或 工具 由部分和抽象的 Windows 代码段组成，这些段在验证期间充当操作系统。 SDV 包括一个默认操作系统模型和几个用于验证特定 规则的专用模型。 SDV 在验证过程的 “检查 ”步骤中组装用于 验证的操作系统模型。

还有一个工具，它通过调用驱动程序中的入口点，以与 Windows 操作系统相同的方式执行驱动程序的各个部分。