Bottom-Up Approach to Model Analysis

金宝app^®Design Verifier™software works most effectively at analyzing large models using a bottom-up approach. In this approach, the software analyzes smaller model components first, which can be faster than using theLarge modeltest suite optimization.

The bottom-up approach offers several advantages:

It allows you to solve the problems that slow down error detection, test generation, or property proving in a controlled environment.
Solving problems with small model components before analyzing the model as a whole is more efficient, especially if you have unreachable components in your model that you can only discover in the context of the model.
You can iterate more quickly—find a problem and fix it, find another problem and fix it, and so on.
If one model component has a problem—for example, a component is unreachable in simulation—that can prevent the software from generating tests forallthe objectives in a large model.

Try this workflow with your large model:

Use the Test Generation Advisor to identify analyzable model components and generate tests for these components. For more information, seeUse Test Generation Advisor to Identify Analyzable Components.
Fix any problems by adding constraints or specifying block replacements.
After you analyze the smaller components, reapply the required constraints and substitutions to the original model. Analyze the full model.
When you finish a bottom-up analysis, you have a top-level model thatSimulink Design Verifier能迅速分析。

Bottom-Up Approach to Model Analysis

Simulink Design Verifier Documentation

金宝app

Try MATLAB, Simulink, and Other Products