Conseguimento della coverage mancante
Conseguire la coverage mancante in Simulink® Design Verifier™ indica il processo di identificazione e gestione delle aree di un modello o di un codice generato che non sono state eseguite durante il test. Questa feature aiuta gli utenti a generare automaticamente casi di test per coprire queste parti non testate, migliorando così la coverage complessiva del test e garantendo che tutti gli aspetti del modello o del codice siano validati. È possibile migliorare sistematicamente l'accuratezza dei test, ottenendo modelli e codici più robusti e affidabili. Questo processo è particolarmente vantaggioso nei settori in cui la sicurezza è fondamentale, dove ottenere un'elevata coverage è essenziale per soddisfare gli standard normativi e di qualità.
Argomenti
Conseguimento della coverage mancante
- 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.
