静态驱动程序验证程序输入文件
SDV 验证引擎 将以下文件作为验证的输入。 所有验证只需要驱动程序源文件和操作系统模型文件。
驱动程序项目文件和源代码。 在项目文件所在的目录中运行 SDV。
操作系统模型文件。 SDV 根据为验证选择的规则选择和组合操作系统模型文件。
已处理的库文件。 仅当驱动程序依赖于非系统库时，才需要库文件。 有关信息和说明，请参阅静态驱动程序验证程序中的库处理。
规则列表文件。 请参阅 MSBuild) (静态驱动程序验证程序命令 。
静态驱动程序验证程序选项文件。 SDV 创建一个全局选项文件，其中包含适用于所有 SDV 验证的设置。 若要为驱动程序创建本地选项文件，请复制全局选项文件。 然后，可以编辑全局选项文件的副本，为驱动程序创建本地选项文件。
评估 SDV 验证结果时，检查输入文件以确认验证中使用的所有输入文件的准确性和完整性非常重要。
本部分包括以下文件的详细说明：