sldvreport

Generate Simulink Design Verifier report

Syntax

[status, reportFilePath] = sldvreport(sldvData)

[status, reportFilePath] = sldvreport(sldvData, options)

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath)

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI)

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

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

Description

[status, reportFilePath] = sldvreport(sldvData) generates a complete HTML report from the data contained in sldvData which is either generated by sldvrun or a file path to sldvData. If sldvreport creates the report, status returns true. reportFilePath contains the actual name of the HTML report.

[status, reportFilePath] = sldvreport(sldvData, options) generates a complete HTML report from the data contained in sldvData or a file path to sldvData based on the specified options. options is a cell array.

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath) generates a complete HTML report from the data contained in sldvData or a file path to sldvData based on the specified options and saves it in the location reportFilePath.

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI) generates a complete HTML report from the sldvData or a file path to sldvData based on the specified options and saves it in the location reportFilePath. If showUI is true, the software displays the status of the report generation in the user interface.

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT) generates a complete report in the specified FORMAT from the sldvData or a file path to sldvData based on the specified options and saves it in the location reportFilePath. If showUI is true, the software displays the status of the report generation in UI.

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT, filterFiles) generates a complete report in the specified FORMAT by applying the justification rules specified in the analysis filter files filterFiles and the sldvData or a file path to sldvData.

Examples

Create PDF of the Report

Analyze the model and create a PDF of the Simulink^® Design Verifier™ analysis report by using sldvreport.

Open the sldvdemo_cruise_control example model.

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

Set the sldvoptions and create a PDF version of the analysis results.

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');

Input Arguments

sldvData — Data or data file with analysis results

character vector | string scalar

Data either generated by sldvrun or path of the data file that contains the analysis results.

options — Options for the report

character vector | cell array of character vectors | string array

Cell array that specifies these options for the report.

Field	Description
summary	Include summary of report. Default: false
objectives	Include test objective data. Default: true
objects	Include data about all model objects. Default: true
testcases	Include data about all generated test cases. Default: true
properties	Include data about all properties that are proven or are falsified. Default: true

reportFilePath — Generated report

character vector | string scalar

The path and the file name for the generated report.

showUI — Display messages

logical

Logical value indicating where to display messages during analysis.

true to display messages in the log window.

false (default) to display messages in the MATLAB® command window.

FORMAT — Generate report format

'HTML' | 'PDF' | {'HTML', 'PDF'}

Entry indicating whether to generate the report in HTML, PDF, or both.

'HTML' (default) to generate an HTML format of the report.

'PDF' to generate a PDF version of the report.

{'HTML', 'PDF'} to generate HTML and PDF formats of the report.

This parameter is case sensitive. Use only capital letters for this parameter.

filterFiles — Names of analysis filter files with justification rules

character vector | string scalar | cell array of character vector | string array

Name of the analysis filter file that contains the justification rules.

Example: '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'}

Output Arguments

status — Status of report creation

logical

If the operation creates the analysis report, sldvreport returns a status of true. Otherwise, it returns false.

reportFilePath — Name of file and path

character vector

The path and the file name for the generated HTML report.

Alternatives

Simulink Design Verifier software creates an HTML report after analyzing a model. In the Configuration Parameters dialog box, in the Design Verifier > Report pane, select Generate report of the results. If you want to save a PDF of the report, select Generate additional report in PDF format.

Version History

Introduced in R2009b