Test per l'analisi della coverage del modello
L'analisi della coverage del modello in Simulink® Design Verifier™ si riferisce al processo di valutazione dell'accuratezza con cui un modello di Simulink viene testato, esaminando quali parti del modello vengono eseguite durante la simulazione. Si tratta di una fase cruciale nella verifica e validazione di un modello, volta a garantire che tutti gli aspetti della progettazione siano stati eseguiti e testati. L'analisi aiuta a identificare le parti non testate del modello, che potrebbero potenzialmente comportare errori o bug non rilevati.
Eseguendo l'analisi della coverage del modello, è possibile:
Identificare i casi di test mancanti.
Migliorare la qualità e l'affidabilità del modello.
Garantire la conformità agli standard industriali che richiedono livelli di coverage specifici.
Simulink Design Verifier integra queste analisi nel workflow di test, fornendo report dettagliati e visualizzazioni che aiutano a comprendere le lacune nella coverage e a migliorare l'accuratezza dei test.
Argomenti
- Model Coverage Objectives for Test Generation
Test cases are generated to drive your model to satisfy condition, decision, modified condition/decision (MCDC), and custom coverage objectives.
- Generate Test Cases for Model Decision Coverage
An example that walks you through the process of generating the test cases for a model.
- Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.
- Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage.
- Basic Workflow for Enhanced MCDC Analysis
Workflow to generate test cases for enhanced Modified Condition Decision Coverage (MCDC) coverage objectives.
- Enhanced MCDC Coverage in Simulink Design Verifier
Describes the Enhanced MCDC coverage concept and workflows.
- Test Generation for Custom Code in MATLAB Function Block
Simulink Design Verifier analysis supports models that call custom code from MATLAB® function blocks by using
coder.ceval. - Support Limitations and Considerations for S-Functions and C/C++ Code
Describes limitations and considerations of S-functions and Generated Code in Simulink Design Verifier.
- Enhance Model Coverage of Older Release Models
Explains how to use cross release workflow for model upgrade by using Simulink Design Verifier.