このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
ランタイム エラーの検出と対処
検証プロセスの早い段階で整数のオーバーフロー、ゼロ除算などのモデル内の隠れた設計エラーを特定します。設計エラー検出解析を実行し、解析結果を確認し、意図しない機能をデバッグするために反例を生成した後、特定された設計エラーを修正します。
関数
sldvextract | サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvoptions | 設計検証オプション オブジェクトの作成 |
sldvrun | モデルの解析 |
sldvreport | Simulink Design Verifier レポートを生成する |
sldvmakeharness | ハーネス モデルの生成 |
トピック
- 設計エラー検出における派生範囲
設計範囲および派生範囲の概念を、設計エラー検出に関連して説明します。
- 非有限、NaN、および非正規の浮動小数点値の検出
シミュレーション前に、モデル内の浮動小数点値を検出する。
- 整数オーバーフローおよびゼロ除算エラーの検出
モデル内の設計エラーを特定し、解析結果を確認する方法を示す例。
- 配列の範囲外へのアクセス エラーの検出
シミュレーション前にモデルで配列の範囲外へのアクセス エラーを検出します。
- データ ストアのアクセス違反の検出
モデルでのデータ ストアのアクセス違反の検出。
- 高信頼性システム用のモデリング ガイドラインの違反の検出
モデルで高信頼性システム用のモデリング ガイドラインの違反を検出する。
- C/C++ カスタム コードの設計エラーの検出
カスタム C/C++ コードの設計エラーを検出する方法を示す例。
- Parameter Configuration for Analysis
Overview of parameter configuration for Simulink® Design Verifier™ analysis.
- パラメーター テーブルの使用
解析でパラメーターを変数として指定する方法の例。
- パラメーター コンフィギュレーション ファイルの使用
MATLAB® コード ファイルでパラメーター コンフィギュレーションを定義する方法を説明します。
- パラメーター制約の MATLAB コード ファイルへの格納
パラメーター テーブルで指定のパラメーター制約をインポートおよびエクスポートする方法の例。
- コマンド ライン関数を使用したパラメーターの変更のサポート
この例では、Simulink® Design Verifier™ のコマンド ライン関数を使用して、さまざまなパラメーター値を含むテスト データを生成する方法を説明します。
- モデル スライサーを使用した整数オーバーフロー設計エラー検出のデバッグ
この例では、モデル スライサーを使用して、Simulink® モデルで整数オーバーフロー設計エラーをデバッグする方法を説明します。
注目の例
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)