Achieve Missing Coverage
Identify gaps and generate comprehensive tests
Simulink® Design Verifier™ allows you to identify and address portions of a model or generated code that remain untested after initial simulation or verification. It automatically generates additional test inputs that target these uncovered elements, increasing overall model coverage.
By identifying and exercising untested logic paths, this helps to achieve compliance that mandate high structural coverage, such as ISO 26262, DO-178C, and IEC 61508.
Topics
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 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
Achieve missing coverage after applying parameter configurations. - Perform Analysis on Large and Complex Models
Use 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.
