Learn more about Simulink Design Verifier

sldvreport - Generate report

Syntax

[status, reportFilePath] = sldvreport(sldvDataFile) [status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}) [status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI)

Description

[status, reportFilePath] = sldvreport(sldvDataFile) generates a complete HTML report from the data in sldvDataFile. status returns true if sldvreport created the report successfully. reportFilePath contains the actual name of the HTML report created.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}) generates a report from sldvDataFile based on the specified options. options is a cell array of strings.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI) generates a report and saves it in the location reportFilePath.

Inputs

sldvDataFile

Name of the data file that contains the analysis results

Default: ''

options

Cell array of strings that specify options for the report:

`'summary'`	Include summary analysis data only
`'objectives'`	Include test objective data
`'object'`	Include data about all model objects
`'testcases'`	Include data about all generated test cases
`'properties'`	Include data about all properties proven or falsified

Default: {}

reportFilePath

The path and file name for the generated HTML report

Default: ''

showUI

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

Examples

Analyze the model and create the report using sldvreport:

opts = sldvoptions;                            % Create  options structure
opts.Mode = 'TestGeneration';                  % Do test-gen analysis
opts.SaveReport = 'off';                       % Don't save HTML report
open_system 'sldvdemo_cruise_control';         % Open the model  
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);   %Analyze model
[ status, reportFilePath] = sldvreport(files.DataFile,...
        {'objectives', 'objects', 'testcases'} );  % Create report

Alternatives

The Simulink Design Verifier software can create an HTML report after analyzing a model. In the Design Verifier category of the Configuration Parameters dialog box, in the Report pane, select Generate report of the results.