|Day 1 of 1|
Objective: Recall design considerations for setting up the Simulink environment to test models.
|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.