Resolver deficiencia de cobertura
Identifique deficiencias y genere pruebas exhaustivas
La funcionalidad Resolver deficiencia de cobertura en Simulink® Design Verifier™ permite identificar y resolver áreas de un modelo o código generado que no se han cubierto durante las pruebas. También permite generar de manera automática casos de prueba para cubrir las partes no verificadas, mejorando así la cobertura total de pruebas y garantizando que todos los aspectos del modelo o del código están validados. Puede mejorar de manera sistemática la exhaustividad de las pruebas, lo que puede resultar en modelos y código más sólidos y fiables. Este proceso es especialmente beneficioso en las industrias de seguridad crítica donde lograr una alta cobertura es esencial para cumplir los estándares reglamentarios y de calidad.
Temas
Resolver deficiencia de cobertura
- 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.
