Realisieren einer lückenlosen Abdeckung
Das Erreichen einer vollständigen Abdeckung in Simulink® Design Verifier™ bezieht sich auf den Prozess der Identifizierung und Behebung von Bereichen eines Modells oder generierten Codes, die während des Testens nicht ausgeführt wurden. Diese Funktion unterstützt Benutzer bei der automatischen Generierung von Testfällen, um diese ungetesteten Teile abzudecken. Dadurch wird die gesamte Testabdeckung verbessert und sichergestellt, dass alle Aspekte des Modells oder Codes validiert werden. Sie können die Gründlichkeit Ihrer Tests systematisch verbessern, was zu fehlerresistenteren und zuverlässigeren Modellen und Codes führt. Dieser Prozess ist besonders vorteilhaft in sicherheitskritischen Branchen, in denen eine hohe Abdeckung unerlässlich ist, um gesetzliche Vorschriften und Qualitätsstandards zu erfüllen.
Themen
Realisieren einer lückenlosen Abdeckung
- 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.
