Détecter et éliminer les erreurs run-time
Dans le processus de vérification, détectez tôt les erreurs de design cachées dans votre modèle, telles que les dépassements d’entier ou la division par zéro. Procédez à une analyse de détection des erreurs de design, examinez les résultats de l’analyse, générez des contre-exemples pour débugger les fonctionnalités indésirables, puis corrigez les erreurs de design identifiées.
Fonctions
sldvextract | Extract subsystem or subchart contents into new model for analysis |
sldvoptions | Create design verification options object |
sldvrun | Analyze model |
sldvreport | Generate Simulink Design Verifier report |
sldvmakeharness | Generate harness model |
Rubriques
- Derived Ranges in Design Error Detection
Explains the concepts of design ranges and derived ranges with regard to design error detection.
- Detect Non-Finite, NaN, and Subnormal Floating-Point Values
Detect floating-point values in your model before simulation.
- Detect Defects Using Optimized Checks
Detect common and critical design errors such as division by zero, integer overflow, dead logic, and array out of bounds in your model by using Defect Checker. (depuis R2024b)
- Detect Integer Overflow and Division-by-Zero Errors
An example showing how to identify design errors in your model and review analysis results.
- Detect Out of Bound Array Access Errors
Detect out of bound array access errors in your model before simulation.
- Detect Data Store Access Violations
Detect data store access violations in your model.
- Detect Violations of High-Integrity Systems Modeling Guidelines
Detect violations of High-Integrity Systems Modeling Guidelines in your model.
- Detect Design Errors in C/C++ Custom Code
An example showing how to detect design errors in custom C/C++ code.
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink® Design Verifier™ analysis.
- Use Parameter Table to Find Constraints
An example of how to specify parameters as variables for analysis.
- Set Parameters Using Parameter Configuration File
Describes how to define parameter configurations in MATLAB® code files.
- Import and Export Parameter Constraints
An example on how to import and export specified parameter constraints to and from the Parameter Table.
- Using Command Line Functions to Support Changing Parameters
This example shows how to use Simulink® Design Verifier™ command-line functions to generate test data that incorporates different parameter values.
- Debug Integer Overflow Design Error Detection Using Model Slicer
This example shows how to use Model Slicer to debug integer overflow design errors in a Simulink® model.
- Inspect Dead Logic with Model Slicer
This example shows you how to investigate the possible causes for the dead logic that occurs.
Sélection d՚exemples
Detect Design Errors in AUTOSAR Software Component Model
Perform unit-testing to detect design errors in an AUTOSAR component.
Manage Requirements and Advanced Model Checks
The how to identify potential gaps in model compliance by identifying missing requirements links, running standard and custom model checks, and performing design error detection analysis.
