Beheben von Modellinkompatibilitäten oder Analysezeitüberschreitungen
Bevor Sie mit einer Analyse beginnen, können Sie eine Kompatibilitätsprüfung für Ihr Modell durchführen. Das Modell ist in folgenden Fällen für eine Analyse geeignet:
Das Modell wird in eine ausführbare Form kompiliert.
Das Modell ist mit der Codegenerierung kompatibel.
Das Modell führt eine Nullsekundensimulation ohne Fehler durch, d. h., die Start- und Stoppzeit der Simulation beträgt
0.
Wenn das Modell nicht kompatibel ist, können Sie die Inkompatibilitäten anhand der Meldungen im Diagnostic Viewer identifizieren und beheben. Sie können die Ergebnisse des Testgenerierungsberaters nutzen, um Ihr Modell besser zu verstehen, insbesondere große Modelle, komplexe Modelle oder Modelle, bei denen Sie sich hinsichtlich ihrer Kompatibilität mit Simulink® Design Verifier™ unsicher sind.
Themen
Beginnen Sie hier
- Bottom-Up Approach to Model Analysis
Explains the benefits of analyzing a model starting with low-level elements. - Reuse Model Representation for Analysis
Describes model representation that Simulink Design Verifier uses for analysis. - Configure Model Representation Options
Describes how to configure model representation options. Simulink Design Verifier uses for analysis. - Use Test Generation Advisor to Identify Analyzable Components
Use the Test Generation Advisor to guide model and component analysis.
Parameterkonfiguration
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage. - Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model.
Beheben von Modellinkompatibilitäten
- Handle Incompatibilities with Automatic Stubbing
How to use automatic stubbing. - Analyze Test Harness with Schedule for Initialize, Reset, Reinitialize, and Terminate Functions
Analyze model that contains schedules for Initialize, Reinitialize, Reset, and Terminate ports. (Seit R2024b) - Configuring S-Function for Test Case Generation
This example shows how to compile an S-Function to be compatible with Simulink® Design Verifier™ for test case generation.
Beheben von Analysezeitüberschreitungen
- Share Simulink Cache File for Faster Analysis
Use Simulink cache files to share and reuse the model representation for analysis. - Run Additional Analysis to Reduce Instances of Rational Approximation
This example shows how to reduce the instances of rational approximation by running additional analysis. - Prove Properties in Large Models
Describes workflows and best practices for proving properties in large models. - Increase Allocated Memory for Analysis Report Generation
Explains how to increase the amount of memory so the software can create reports for large models. - Manage Model Data to Simplify the Analysis
Simplify your model to simplify the Simulink Design Verifier analysis. - Perform Analysis on Large Models
Describes techniques for analyzing a large model.
