Rilevamento e risoluzione degli errori di runtime
Rilevare errori di progettazione nascosti nel modello, come overflow di interi o divisione per zero, nelle prime fasi del processo di verifica. Eseguire l'analisi di rilevamento degli errori di progettazione, rivedere i risultati di analisi, generare controesempi per eseguire il debug delle funzionalità non intenzionali, quindi correggere gli errori di progettazione identificati.
Funzioni
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 |
Argomenti
- 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. (Da 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.
Esempi in primo piano
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.
