Tests für die Modellabdeckungsanalyse
Die Modellabdeckungsanalyse in Simulink® Design Verifier™ bezieht sich auf den Prozess der Bewertung, wie gründlich ein Simulink-Modell getestet wird, indem untersucht wird, welche Teile des Modells während der Simulation ausgeführt werden. Dies ist ein entscheidender Schritt bei der Verifizierung und Validierung eines Modells, um sicherzustellen, dass alle Aspekte des Entwurfs ausgeführt und getestet wurden. Die Analyse hilft dabei, ungetestete Teile des Modells zu identifizieren, die möglicherweise zu unentdeckten Fehlern oder Bugs führen könnten.
Durch die Durchführung einer Modellabdeckungsanalyse können Sie Folgendes sicherstellen:
Identifizieren fehlender Testfälle.
Verbessern der Qualität und Zuverlässigkeit des Modells.
Einhaltung von Industriestandards, die bestimmte Deckungsgrade vorschreiben.
Simulink Design Verifier integriert diese Analysen in den Test-Workflow und liefert detaillierte Berichte und Visualisierungen, mit denen Sie Abdeckungslücken erkennen und die Testvollständigkeit verbessern können.
Themen
- 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.
