Remédier aux couvertures manquantes
« Remédier aux couvertures manquantes » dans Simulink® Design Verifier™ fait référence au processus d’identification et de traitement des zones d'un modèle ou d'un code généré qui n'ont pas été exercées pendant les tests. Cette fonctionnalité aide les utilisateurs à générer automatiquement des cas de test pour couvrir ces parties non testées, améliorant ainsi la couverture globale des tests et garantissant que tous les aspects du modèle ou du code sont validés. Vous pouvez améliorer systématiquement la rigueur de vos tests, ce qui vous permettra d’obtenir des modèles et des codes plus robustes et plus fiables. Ce processus est particulièrement avantageux dans les secteurs où la sécurité est essentielle et où il est indispensable d’obtenir une couverture élevée pour respecter les normes réglementaires et de qualité.
Rubriques
Remédier aux couvertures manquantes
- 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.
