|Day 1 of 1|
|Verification and Validation in Model-Based Design||
Objective: Introduce verification and validation in the Simulink environment, and how it fits in to a typical Model-Based Design project workflow.
|Developing Test Cases||
Objective: Create and store test cases for a Simulink model, using both MATLAB code and Simulink test harness models.
|Analyzing Test Results||
Objective: Analyze test results of a Simulink simulation, both during and after the simulation.
|Running Multiple Tests||
Objective: Create repeatable tests, run groups of tests automatically, and collect coverage data on a model.
|Reporting Test Results||
Objective: Discuss the methods of sharing test results for Simulink models.
|Automatically Verifying Models||
Objective: Generate model coverage from test cases, and use formal methods to automatically generate tests and prove properties.