Documentation

Simulink Verification and Validation Functions

Model Guidelines Compliance

Customization and Automation

Create Model Advisor Checks

Advisor.authoring.CustomCheck Define custom check
Advisor.authoring.DataFile Interact with data file for model configuration checks
ModelAdvisor.Action Add actions to custom checks
ModelAdvisor.Check Create custom checks
ModelAdvisor.Group Define custom folder
ModelAdvisor.InputParameter Add input parameters to custom checks
ModelAdvisor.ListViewParameter Add list view parameters to custom checks
ModelAdvisor.Procedure Define custom procedures
ModelAdvisor.Root Identify root node
Advisor.authoring.generateConfigurationParameterDataFile Generate XML data file for custom configuration parameter check

Format Model Advisor Checks

ModelAdvisor.FormatTemplate Template for formatting Model Advisor analysis results
ModelAdvisor.Image Include image in Model Advisor output
ModelAdvisor.LineBreak Insert line break
ModelAdvisor.List Create list class
ModelAdvisor.Paragraph Create and format paragraph
ModelAdvisor.Table Create table
ModelAdvisor.Text Create Model Advisor text output

Organize and Deploy Model Advisor Checks

ModelAdvisor.FactoryGroup Define subfolder in By Task folder
ModelAdvisor.Group Define custom folder
ModelAdvisor.Procedure Define custom procedures
ModelAdvisor.Task Define custom tasks

Automate Model Advisor Check Execution

ModelAdvisor.lookupCheckID Look up Model Advisor check ID
ModelAdvisor.run Run Model Advisor checks on systems
ModelAdvisor.summaryReport Open Model Advisor Command-Line Summary report
view View Model Advisor run results for checks
viewReport View Model Advisor run results for systems

Requirements Traceability

Requirements Management Interface Setup

rmi Interact programmatically with Requirements Management Interface
rmipref Get or set RMI preferences stored in prefdir
rmidata.default Specify default storage location of requirements traceability data for new models
rmidata.export Move requirements traceability data to external .req file
rmidata.save Save requirements traceability data in external .req file
rmimap.map Associate externally stored requirements traceability data with model

Microsoft Office Traceability

rmi Interact programmatically with Requirements Management Interface

IBM Rational DOORS Traceability

rmi Interact programmatically with Requirements Management Interface
rmi.doorssync Synchronize model with DOORS surrogate module
RptgenRMI.doorsAttribs IBM Rational DOORS attributes in requirements report

Simulink Traceability Between Model Objects

rmi Interact programmatically with Requirements Management Interface

MATLAB Code Traceability

rmi Interact programmatically with Requirements Management Interface

URL and Custom Traceability

rmi Interact programmatically with Requirements Management Interface

Review of Requirements Links

rmi Interact programmatically with Requirements Management Interface
rmi.objinfo Return navigation information for model object
rmiobjnavigate Navigate to model objects using unique Requirements Management Interface identifiers
rmitag Manage user tags for requirements links

Maintenance of Requirements Links

rmi Interact programmatically with Requirements Management Interface
rmidocrename Update model requirements document paths and file names
rmiref.insertRefs Insert links to models into requirements documents
rmiref.removeRefs Remove links to models from requirements documents

Model Coverage Analysis

Coverage Data Collection

slcovmex Build coverage-compatible MEX-function from C/C++ code

Customization and Automation

cv.cvdatagroup Collection of cvdata objects
complexityinfo Retrieve cyclomatic complexity coverage information from cvdata object
conditioninfo Retrieve condition coverage information from cvdata object
cvexit Exit model coverage environment
cvhtml Produce HTML report from model coverage objects
cvload Load coverage tests and stored results into memory
cvmodelview Display model coverage results with model coloring
cvsave Save coverage tests and results to file
cvsim Simulate and return model coverage results for test objects
cvtest Create model coverage test specification object
decisioninfo Retrieve decision coverage information from cvdata object
getCoverageInfo Retrieve coverage information for Simulink Design Verifier blocks from cvdata object
mcdcinfo Retrieve modified condition/decision coverage information from cvdata object
overflowsaturationinfo Retrieve saturation on integer overflow coverage from cvdata object
relationalboundaryinfo Retrieve relational boundary coverage from cvdata object
sigrangeinfo Retrieve signal range coverage information from cvdata object
sigsizeinfo Retrieve signal size coverage information from cvdata object
tableinfo Retrieve lookup table coverage information from cvdata object

Test Case Generation for Missing Coverage

slvnvextract Extract subsystem or subchart contents into new model

Model-Based Testing

slvnvlogsignals Log test data for component or model during simulation
slvnvmergedata Combine test data from data files
slvnvmakeharness Generate Simulink Verification and Validation harness model
slvnvharnessopts Generate default options for slvnvmakeharness
slvnvmergeharness Combine test data from harness models
slvnvruntest Simulate model using input data
slvnvruncgvtest Invoke Code Generation Verification (CGV) API and execute model
slvnvruntestopts Generate simulation or execution options for slvnvruntest or slvnvruncgvtest
slvnvextract Extract subsystem or subchart contents into new model
slwebview_cov Export Simulink models to Web views with coverage
slwebview_req Export Simulink system to web views with requirements
Was this topic helpful?