ランタイムエラーの検出と対処

設計エラーを検出し、反例を生成する

検証プロセスの早い段階で整数のオーバーフロー、ゼロ除算などのモデル内の隠れた設計エラーを特定します。設計エラー検出解析を実行し、解析結果を確認し、意図しない機能をデバッグするために反例を生成した後、特定された設計エラーを修正します。

関数

`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® モデルで整数オーバーフロー設計エラーをデバッグする方法を説明します。

注目の例

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.