Test per l'analisi della coverage del codice
L'analisi della coverage del codice in Simulink® Design Verifier™ comporta la valutazione dell'accuratezza con cui viene testato il codice generato da un modello di Simulink. Questa analisi è fondamentale per garantire che il codice si comporti come previsto e soddisfi gli standard di qualità. L'analisi della coverage del codice aiuta a identificare le parti di codice non eseguite durante i test, che possono indicare potenziali punti deboli o scenari non testati.
Eseguendo l'analisi della coverage del codice, gli sviluppatori possono:
Identificare le parti di codice non testate.
Migliorare i casi di test per ottenere una coverage maggiore.
Garantire la conformità agli standard industriali, come DO-178C, che spesso richiedono livelli specifici di coverage del codice.
Simulink Design Verifier integra queste analisi nel workflow di progettazione Model-Based, facilitando il test e la validazione sia del modello che del codice generato. Questa integrazione aiuta a mantenere la coerenza tra il comportamento del modello e il codice implementato, garantendo che il passaggio dal modello al codice non introduca errori.
Argomenti
- Code Coverage Test Generation
This example shows how to use Simulink® Design Verifier™ to generate test cases to obtain complete code coverage.
- Generate Test Cases for Embedded Coder Generated Code
Outlines a process for generating test cases for generated code.
- Verify a Component for Code Generation
This example uses the
slvnvdemo_powerwindowmodel to show how to verify a component in the context of the model that contains that component. - 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.