本页采用了机器翻译。点击此处可查看最新英文版本。

sldvreport

生成 Simulink Design Verifier 报告

全页折叠

语法

[status, reportFilePath] = sldvreport(sldvDataFile)
[status, reportFilePath] = sldvreport(sldvDataFile, options)
[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath)
[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI)
[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI, FORMAT)
[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI, FORMAT, filterFiles)

说明

[status, reportFilePath] = sldvreport(sldvDataFile) 根据 sldvDataFile 中的数据生成完整的 HTML 报告。如果 sldvreport 创建报告，则 status 返回 true。reportFilePath 包含 HTML 报告的实际名称。

[status, reportFilePath] = sldvreport(sldvDataFile, options) 根据指定的选项从 sldvDataFile 中的数据生成完整的 HTML 报告。options 是一个元胞数组。

[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath) 根据指定的选项从 sldvDataFile 中的数据生成完整的 HTML 报告，并将其保存在位置 reportFilePath 中。

[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI) 根据指定的选项从 sldvDataFile 中的数据生成完整的 HTML 报告，并将其保存在位置 reportFilePath 中。如果 showUI 为真，软件将在用户界面中显示报告生成的状态。

[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI, FORMAT) 根据指定的选项，从 FORMAT 中的数据生成指定 sldvDataFile 中的完整报告，并将其保存在位置 reportFilePath 中。如果 showUI 为真，软件将在 UI 中显示报告生成的状态。

示例

[status, reportFilePath] = sldvreport(sldvDataFile, options, reportFilePath, showUI, FORMAT, filterFiles) 通过应用分析过滤器文件 FORMAT 中指定的申述规则和 filterFiles 中的数据，在指定的 sldvDataFile 中生成完整的报告。

示例

全部折叠

分析模型并使用 sldvreport 创建 Simulink® Design Verifier™ 分析报告的 PDF。

打开 sldvdemo_cruise_control 示例模型。

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');

设置 sldvoptions 并创建分析结果的 PDF 版本。

opts = sldvoptions;                      
opts.Mode = 'TestGeneration';           
opts.SaveReport = 'off';                                        
[status, files ] = sldvrun('sldvdemo_cruise_control', opts); 
[status, reportFilePath] = sldvreport(files.DataFile, ...
 {'summary','objectives'}, 'C:\work\sldvdemo_cruise_control_report', false, 'PDF');

输入参数

全部折叠

包含分析结果的数据文件的名称。

生成报告的路径和文件名。

逻辑值指示在分析期间在何处显示消息。

true，在日志窗口中显示消息。
false（默认值）在 MATLAB® 命令窗口中显示消息。

指示是否以 HTML、PDF 还是两者形式生成报告的条目。

'HTML' (默认) 生成 HTML 格式的报告。
'PDF' 生成报告的 PDF 版本。
{'HTML', 'PDF'} 生成报告的 HTML 和 PDF 格式。

此参数区分大小写。此参数仅使用大写字母。

包含申述规则的分析过滤器文件的名称。

示例: 'sldvdemo_design_error_detection_sldv_filter.cvf', 'sldvdemo_design_error_detection_sldv_filter.cvf; sldvdemo_design_error_detection_sldv_filter1.cvf', {'sldvdemo_design_error_detection_sldv_filter.cvf', 'sldvdemo_design_error_detection_sldv_filter1.cvf'}

为报告指定这些选项的元胞数组。

名称-值参数

全部折叠

以 Name1=Value1,...,NameN=ValueN 的形式指定可选参量对组，其中 Name 是参量名称，Value 是对应的值。名称-值参量必须出现在其他参量之后，但对各个参量对组的顺序没有要求。

在 R2021a 之前，使用逗号分隔每个名称和值，并用引号将 Name 引起来。

示例: 'Description','My new description.'

仅包含分析数据摘要（默认值：false）

包括测试目标数据（默认值：true）

包含有关所有模型对象的数据（默认值：true）

包含所有生成的测试用例的数据（默认值：true）

包括所有已证明或已证伪的属性的数据（默认值：true）

输出参量

全部折叠

如果操作创建了分析报告，sldvreport 将返回 true 的 status。否则，它返回 false。

生成的 HTML 报告的路径和文件名。

备选方法

Simulink Design Verifier 软件在分析模型后创建 HTML 报告。在“配置参数”对话框的 Design Verifier > 报告窗格中，选择生成结果报告。如果您想保存报告的 PDF，请选择生成 PDF 格式的附加报告。

版本历史记录

在 R2009b 中推出

另请参阅

|

主题