Achieve Missing Coverage

Achieve Missing Coverage

• When to Extend Existing Test Cases
  Explains when to extend existing test cases to create a complete test suite.
• Defining and Extending Existing Tests Cases
  This example shows how Simulink® Design Verifier™ can extend test cases with additional time steps to efficiently generate complete test suites.
• Extend Test Cases for Model with Temporal Logic
  Extends existing test cases to analyze a model that uses temporal logic.
• Extend Test Cases for Closed-Loop System
  Extends existing test cases to analyze a closed-loop system in a model.
• Extend Test Cases for Modified Model
  Extends existing test cases for a model that you have previously analyzed and then modified.
• Extend an Existing Test Suite
  This example shows how to use Simulink® Design Verifier™ to extend an existing test suite to obtain missing model coverage.
• Extend Existing Test Cases by Reusing Model Representation
  Reanalyze a model by reusing the model representation.
• Extend Existing Test Cases After Applying Parameter Configurations
  This example shows how to achieve missing coverage by extending existing test cases after applying parameter configurations.
• Perform Analysis on Large Models
  Describes techniques for analyzing a large model.
• Achieve Missing Coverage in Generated Code of RLS
  This example shows you how to use Simulink® Design Verifier™ to generate test cases that achieve full coverage.
• Achieve Missing Coverage in Custom Code
  This example shows you how to test for missing coverage in custom code.
• Achieve Missing Coverage in Referenced Model
  Achieves missing coverage data in a referenced model and combines it with coverage data for the top-level model.
• Achieve Missing Coverage in Closed-Loop Simulation Model
  Achieves missing coverage data in a closed-loop simulation model.