Verification and Validation of Simulink Models

Prerequisites

MATLAB Fundamentals and Simulink for System and Algorithm Modeling. This course is intended for intermediate or advanced Simulink users.

View details

Day 1 of 1
Model-Based Testing

Objective: Recall design considerations for setting up the Simulink environment to test models.

  • Testing workflow
  • Components of a test
  • Simulink project environment
  • System requirements
  • Test plans
Developing Test Cases

Objective: Create and store test cases for a Simulink model, using both MATLAB code and Simulink test harness models.

  • Harness models
  • MATLAB scripts
  • External sources
Analyzing Test Results

Objective: Analyze test results of a Simulink simulation, both during and after the simulation.

  • Run-time analysis
  • Logging data
  • Saving data
  • Automated analysis
  • Simulation data inspector
Running Multiple Tests

Objective: Create repeatable tests, run groups of tests automatically, and collect coverage data on a model.

  • Test process
  • Self-contained tests
  • Test suites
  • Speeding up tests
Reporting Test Results

Objective: Discuss the methods of sharing test results for Simulink models.

  • Publishing MATLAB files
  • Standard reports
  • Custom reports
Automatically Verifying Models

Objective: Generate model coverage from test cases, and use formal methods to automatically generate tests and prove properties.

  • Model coverage
  • Automatic test generation
  • User-defined objectives
  • Property proving