Extend existing test cases to achieve full model coverage

2,006 views · Published 7 November 2013 · 2:47 · Indexed 20 October 2026

Channel: MATLAB · 2013 · Science & Technology

Watch on YouTube

Get a Free Trial: https://goo.gl/C2Y9A5
Get Pricing Info: https://goo.gl/kDvGHt 
Ready to Buy: https://goo.gl/vsIeA5 
Leverage existing test cases and achieve full coverage using formal methods for test generation in Simulink Design Verifier™. For more videos: https://bit.ly/3GTqXAN

More from this channel

• 1:47 AUTOSAR for Production with Model-Based Design

  MATLAB

  4,333 views · 22 April 2013

• 4:31 Simulating in Real Time: Backhoe

  MATLAB

  4,704 views · 26 April 2013

• 5:37 Optimizing Shift Schedule to Maximize Fuel Economy

  MATLAB

  2,142 views · 2 May 2013

• 3:34 Importing Measured Data to Estimate Fuel Economy

  MATLAB

  2,374 views · 2 May 2013

• 5:16 Modeling a Ratchet Mechanism with Leadscrew

  MATLAB

  3,523 views · 2 May 2013

• 3:21 Running Parallel Simulations: Aileron Parameter Sweep

  MATLAB

  2,120 views · 3 May 2013

• 4:30 Finding Causes of Slow Simulations

  MATLAB

  2,359 views · 3 May 2013

• 4:58 Optimizing a Flight Control System

  MATLAB

  4,189 views · 3 May 2013