このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
ランタイム エラーの検出と対処
検証プロセスの早い段階で整数のオーバーフロー、ゼロ除算などのモデル内の隠れた設計エラーを特定します。設計エラー検出解析を実行し、解析結果を確認し、意図しない機能をデバッグするために反例を生成した後、特定された設計エラーを修正します。
関数
sldvextract | サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvoptions | 設計検証オプション オブジェクトの作成 |
sldvrun | モデルの解析 |
sldvreport | Simulink Design Verifier レポートを生成する |
sldvmakeharness | ハーネス モデルの生成 |
トピック
- 設計エラー検出における派生範囲
設計範囲および派生範囲の概念を、設計エラー検出に関連して説明します。
- 非有限、NaN、および非正規の浮動小数点値の検出
シミュレーション前に、モデル内の浮動小数点値を検出する。
- 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. (R2024b 以降)
- 整数オーバーフローおよびゼロ除算エラーの検出
モデル内の設計エラーを特定し、解析結果を確認する方法を示す例。
- 配列の範囲外へのアクセス エラーの検出
シミュレーション前にモデルで配列の範囲外へのアクセス エラーを検出します。
- データ ストアのアクセス違反の検出
モデルでのデータ ストアのアクセス違反の検出。
- 高信頼性システム用のモデリング ガイドラインの違反の検出
モデルで高信頼性システム用のモデリング ガイドラインの違反を検出する。
- C/C++ カスタム コードの設計エラーの検出
カスタム C/C++ コードの設計エラーを検出する方法を示す例。
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink® Design Verifier™ analysis.
- パラメーター テーブルを使用した制約の検索
解析でパラメーターを変数として指定する方法の例。
- パラメーター コンフィギュレーション ファイルを使用したパラメーターの設定
MATLAB® コード ファイルでパラメーター コンフィギュレーションを定義する方法の説明。
- パラメーター制約のインポートとエクスポート
パラメーター テーブルで指定のパラメーター制約をインポートおよびエクスポートする方法の例。
- コマンド ライン関数を使用したパラメーターの変更のサポート
この例では、Simulink® Design Verifier™ のコマンド ライン関数を使用して、さまざまなパラメーター値を含むテスト データを生成する方法を説明します。
- モデル スライサーを使用した整数オーバーフロー設計エラー検出のデバッグ
この例では、モデル スライサーを使用して、Simulink® モデルで整数オーバーフロー設計エラーをデバッグする方法を説明します。
- Inspect Dead Logic with Model Slicer
This example shows you how to investigate the possible causes for the dead logic that occurs.
注目の例
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.
