Documentation Center

  • Trials
  • Product Updates

Functions in Simulink Verification and Validation

  • By Category | Alphabetical List
  • Model Guidelines Compliance

    Customization and Automation

    Automating 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

    Organizing and Deploying Checks

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

    Authoring 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

    Formatting 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

    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
    rmidata.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

    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
    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
    Was this topic helpful?