Documentation

Simulink Verification and Validation Functions

Alphabetical List By Category

Model Guidelines Compliance

Check Model Compliance

Advisor.Application Run Model Advisor across model hierarchy
Advisor.Manager Manage applications
slmetric.Engine Collect metric data on models
slmetric.metric.Result Metrics for specified model component and metric algorithm
slmetric.metric.ResultCollection Metric data for specified model metric
slmetric.metric.getAvailableMetrics Obtain available metrics

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.Preferences Set Model Advisor window preferences by specifying which folders and tabs to display
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
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
Advisor.authoring.generateConfigurationParameterDataFile Generate XML data file for custom configuration parameter check

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

Advisor.Application Run Model Advisor across model hierarchy
Advisor.Manager Manage applications
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

Create Model Metrics

Advisor.component.Component Create component for metric analysis
Advisor.component.Types Create enum class specifying component type
slmetric.Engine Collect metric data on models
slmetric.metric.Metric Abstract class for creating model metrics
slmetric.metric.Result Metrics for specified model component and metric algorithm
slmetric.metric.ResultCollection Metric data for specified model metric
slmetric.metric.registerMetric Register new metric class
slmetric.metric.unregisterMetric Unregister the metric class
slmetric.metric.refresh Update available model metrics
slmetric.metric.createNewMetricClass Create metric class

Requirements Traceability

Requirements Management Interface Setup

rmi Interact programmatically with Requirements Management Interface
rmipref Get or set RMI preferences stored in prefdir
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
slrequirements 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
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
cvresults Returns active coverage data, clears and loads active coverage data from a file
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
executioninfo Retrieve execution 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

Model Componentization Refactoring

mdltransformer Open Model Transformer
Was this topic helpful?