Design Verifier 窗格：报告
报告窗格概述
指定控制 Simulink® Design Verifier™ 如何报告其结果的选项。
另请参阅
生成结果报告
生成并保存 Simulink Design Verifier 报告。
设置
默认值：Off
On保存 Simulink Design Verifier 生成的 HTML 报告。
Off不会生成 Simulink Design Verifier 报告。
依存关系
此参数启用以下参数：
生成 PDF 格式的附加报告
报告文件名
包括属性的屏幕截图
显示报告
命令行信息
参数：DVSaveReport |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
生成 PDF 格式的附加报告
保存 Simulink Design Verifier 报告的附加 PDF 版本。
设置
默认值：Off
- On
保存 Simulink Design Verifier 报告的附加 PDF 版本。
- Off
不保存 Simulink Design Verifier 报告的附加 PDF 版本。
依赖关系
该参数由生成结果报告启用。
命令行信息
参数：DVReportPDFFormat |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
报告文件名
为 Simulink Design Verifier 分析生成的报告指定一个文件夹和文件名。
设置
默认值： $ModelName$_report
（可选）输入绝对路径或相对于输出文件夹中指定的路径名的相对路径。
输入分析生成的报告的文件名。
$ModelName$是一个代表模型名称的标记。
依赖关系
该参数由生成结果报告启用。
命令行信息
参数：DVReportFileName |
| 类型：字符数组 |
| 值：任何有效的路径和文件名 |
默认值： '$ModelName$_report' |
另请参阅
包括属性的屏幕截图
包括 Simulink Design Verifier 报告中属性的屏幕截图。仅在属性证明模式下有效。
设置
默认值：Off
- On
包括 Simulink Design Verifier 报告中属性的屏幕截图。仅在属性证明模式下有效。
- Off
未包含 Simulink Design Verifier 报告中的属性屏幕截图。
依赖关系
此参数由“报告”窗格中的生成结果报告和“结果”窗格中的分析后生成单独的框架模型启用。
命令行信息
参数：DVReportIncludeGraphics |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'off' |
另请参阅
显示报告
显示 Simulink Design Verifier 分析完成分析后生成的报告。
设置
默认值：On
- On
显示分析完成后生成的报告。
- Off
不显示分析完成后生成的报告。
依赖关系
该参数由生成结果报告启用。
命令行信息
参数：DVDisplayReport |
| 类型：字符数组 |
值：'on' | 'off' |
默认值： 'on' |
