设计验证器窗格:报告
报表窗格概述
指定控制方式的选项金宝app®设计验证器™报告其结果。
另请参阅
生成结果报告
生成并保存金宝appSimulink设计验证器报告。
设置
默认值:从
-
在
-
保存HTML报告金宝appSimulink设计验证器生成的。
-
从
-
不生成金宝appSimulink设计验证器报告。
依赖关系
启用该参数时,必须启用分析后生成单独的线束模型。
该参数启用以下参数:
生成PDF格式的附加报告
报告文件名
包含属性的屏幕截图
报告显示
命令行信息
参数:DVSaveReport |
类型:字符数组 |
值:“上” |“关闭” |
默认值:“关闭” |
另请参阅
生成PDF格式的附加报告
的另一个PDF版本金宝appSimulink设计验证器报告。
设置
默认值:从
-
在
-
的附加PDF版本金宝appSimulink设计验证器报告。
-
从
-
没有另存PDF版本的金宝appSimulink设计验证器报告。
依赖
启用该参数生成结果报告。
命令行信息
参数:DVReportPDFFormat |
类型:字符数组 |
值:“上” |“关闭” |
默认值:“关闭” |
另请参阅
报告文件名
指定报表的文件夹和文件名金宝appSimulink设计验证器分析产生。
设置
默认值:ModelName _report美元
中指定的路径名的绝对路径或相对路径输出文件夹。
为分析生成的报告输入一个文件名。
ModelName美元
表示模型名称的令牌。
依赖
启用该参数生成结果报告。
命令行信息
参数:DVReportFileName |
类型:字符数组 |
值:任何有效的路径和文件名 |
默认值:“ModelName _report美元” |
另请参阅
包含属性的屏幕截图
属性中的属性的屏幕截图金宝appSimulink设计验证器报告。仅在属性证明模式有效。
设置
默认值:从
-
在
-
属性中的属性的屏幕截图金宝appSimulink设计验证器报告。仅在属性证明模式有效。
-
从
-
中属性的屏幕截图不包括金宝appSimulink设计验证器报告。
依赖
启用该参数生成结果报告。
命令行信息
参数:DVReportIncludeGraphics |
类型:字符数组 |
值:“上” |“关闭” |
默认值:“关闭” |
另请参阅
报告显示
显示的报表金宝appSimulink设计验证器在完成分析后生成分析。
设置
默认值:在
-
在
-
显示分析在完成分析后生成的报告。
-
从
-
不显示分析在完成分析后生成的报告。
依赖
启用该参数生成结果报告。
命令行信息
参数:DVDisplayReport |
类型:字符数组 |
值:“上” |“关闭” |
默认值:“上” |