检测并消除运行时错误

Explains the concepts of design ranges and derived ranges with regard to design error detection.

Detect floating-point values in your model before simulation.

An example showing how to identify design errors in your model and review analysis results.

Detect out of bound array access errors in your model before simulation.

Detect data store access violations in your model.

Detect violations of High-Integrity Systems Modeling Guidelines in your model.

An example showing how to detect design errors in custom C/C++ code.

Overview of parameter configuration for Simulink^® Design Verifier™ analysis.

An example of how to specify parameters as variables for analysis.

Describes how to define parameter configurations m MATLAB^® code files.

An example of how to import and export specified parameter constraints to and from the Parameter Table.

This example shows how to use Simulink® Design Verifier™ command-line functions to generate test data that incorporates different parameter values.

This example shows how to use Model Slicer to debug integer overflow design errors in a Simulink® model.

This example shows you how to investigate the possible causes for the dead logic that occurs.