Design Verifier ペイン: 設計エラー検出

Configuration Parameter window showing Design Error Detection parameter under Design Verifier pane.

設計エラー検出ペインの概要
欠陥チェッカー
デッドロジック (一部)
網羅的解析を実行
解析するカバレッジオブジェクティブ
配列の範囲外へのアクセス
データストアのアクセス違反
ゼロ除算
整数のオーバーフロー
非有限で NaN の浮動小数点値
非正規浮動小数点値
指定された最小値と最大値の違反
指定したブロック入力範囲違反
残余演算および逆数演算の使用 - hisl_0002
平方根演算の使用 - hisl_0003
log 演算および log10 演算の使用 - hisl_0004
Reciprocal Square Root ブロックの使用方法 - hisl_0028

設計エラー検出ペインの概要

Simulink^® Design Verifier™ による解析モデルの実行時エラー検出方法を制御するオプションを指定します。

欠陥チェッカー

[欠陥チェッカー] は、コンポーネントのよくある重大な設計エラーをチェックするのに役立ちます。開発フェーズ全体を通して、ゼロ除算、整数オーバーフロー、デッドロジック、範囲外の配列などのエラーを簡単に見つけることができます。

設定

既定の設定: オン

オン: モデル内の欠陥の数をレポートします。
オフ: モデル内のいずれの欠陥もレポートしません。

コマンドライン情報

パラメーター: DVDefectChecker

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'on'

デッドロジック (一部)

モデルのデッドロジックを解析するかどうかを指定します。これは結果として部分的な解析となる可能性があります。常に網羅的解析を実行するには、[網羅的解析を実行] を選択します。

設定

既定の設定: オフ

オン: モデルで特定されたデッドロジックをレポートします。
オフ: デッドロジックの解析を行いません。

コマンドライン情報

パラメーター: DVDetectDeadLogic

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

デッドロジックの検出

網羅的解析を実行

モデルでデッドロジックの網羅的解析を実行するかどうかを指定します。

設定

既定の設定: オフ

オン: モデルでデッドロジックの網羅的解析を実行します。
オフ: モデルでデッドロジックの網羅的解析を実行しません。

コマンドライン情報

パラメーター: DVDetectActiveLogic

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

依存関係

このパラメーターを有効にするには、[デッドロジック (一部)] を選択します。

参考

デッドロジックの検出

解析するカバレッジオブジェクティブ

モデルでデッドロジックの解析を行うカバレッジオブジェクティブを指定します。

設定

既定の設定: 'ConditionDecision'

判定: デッドロジックの判定カバレッジオブジェクティブを解析します。
条件判定: デッドロジックの条件判定カバレッジオブジェクティブを解析します。
MCDC: デッドロジックの改良条件判定カバレッジ (MCDC) オブジェクティブを解析します。

コマンドライン情報

パラメーター: DVDeadLogicObjectives

タイプ: 文字配列

値: 'Decision' | 'ConditionDecision' | 'MCDC'

既定の設定: 'ConditionDecision'

依存関係

このパラメーターは [デッドロジック (一部)] に依存しており、[デッドロジック (一部)] が共に有効になっている場合にのみ動作します。

参考

デッドロジックの検出

配列の範囲外へのアクセス

モデルで配列の範囲外へのアクセスエラーを解析するかどうかを指定します。

設定

既定の設定: オン

オン: モデル内の配列の範囲外へのアクセスエラーをレポートします。
オフ: モデル内の配列の範囲外へのアクセスエラーをレポートしません。

コマンドライン情報

パラメーター: DVDetectOutOfBounds

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'on'

参考

配列の範囲外へのアクセスエラーの検出

データストアのアクセス違反

データストアのアクセス違反についてモデルを解析するかどうかを指定します。設計エラー検出は、Data Store Memory ブロックに関連する以下の違反をチェックします。

書き込み前の読み取り
読み取り後の書き込み
書き込み後の書き込み

設定

既定の設定: オフ

オン: モデル内のデータストアのアクセス違反をレポートします。
オフ: モデル内のデータストアのアクセス違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectDSMAccessViolations

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

アクセス順序エラーの検出

ゼロ除算

モデルでゼロ除算エラーを解析するかどうかを指定します。

設定

既定の設定: オン

オン: モデル内のゼロ除算エラーをレポートします。
オフ: モデル内のゼロ除算エラーをレポートしません。

コマンドライン情報

パラメーター: DVDetectDivisionByZero

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'on'

参考

整数オーバーフローおよびゼロ除算エラーの検出

整数のオーバーフロー

モデルで整数または固定小数点データのオーバーフローエラーを解析するかどうかを指定します。

設定

既定の設定: オン

オン: モデル内の整数または固定小数点データのオーバーフローエラーをレポートします。
オフ: モデル内の整数または固定小数点データのオーバーフローエラーをレポートしません。

コマンドライン情報

パラメーター: DVDetectIntegerOverflow

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'on'

参考

整数オーバーフローおよびゼロ除算エラーの検出

非有限で NaN の浮動小数点値

モデルの非有限で NaN の浮動小数点値を解析するかどうかを指定します。

設定

既定の設定: オフ

オン: モデル内の非有限で NaN の浮動小数点値についてレポートします。
オフ: モデル内の非有限で NaN の浮動小数点値についてレポートしません。

コマンドライン情報

パラメーター: DVDetectInfNaN

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

非有限、NaN、および非正規の浮動小数点値の検出

非正規浮動小数点値

モデルの非正規浮動小数点値を解析するかどうかを指定します。

設定

既定の設定: オフ

オン: モデルの非正規浮動小数点値についてレポートします。
オフ: モデルの非正規浮動小数点値についてレポートしません。

コマンドライン情報

パラメーター: DVDetectSubnormal

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

非有限、NaN、および非正規の浮動小数点値の検出

指定された最小値と最大値の違反

モデル内の中間信号および出力信号がユーザー指定の最小制約および最大制約の範囲内にあることをチェックするかどうかを指定します。

設定

既定の設定: オフ

オン: 中間信号および出力信号がユーザー指定の最小制約および最大制約の範囲内であることをチェックします。
オフ: 中間信号および出力信号がユーザー指定の最小制約および最大制約の範囲内であることをチェックしません。

コマンドライン情報

パラメーター: DVDesignMinMaxCheck

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

指定された最小値および最大値の違反チェック

指定したブロック入力範囲違反

モデルのブロック入力範囲違反を解析するかどうかを指定します。チェックでは、次のような設定をもつブロックの入力範囲違反を検出します。

[範囲外入力の診断] パラメーターが [警告] または [エラー] に設定されているブロックの場合:
[default ケースの診断] パラメーターが [警告] または [エラー] に設定されている Multiport Switch ブロック
[近似法] パラメーターが [CORDIC] に設定されている Trigonometric Function ブロック

メモ

このチェックは、[内挿法] が [Akima スプライン] または [3 次スプライン] に設定されている場合、n-D Lookup Table ブロックのブロック入力範囲違反にフラグを立てません。

メモ

このチェックは、[関数] パラメーターが atan2 で入力信号のデータ型が double である [CORDIC] の [近似法] を使用する、Trigonometric Function ブロックのブロック入力範囲違反にフラグを立てません。

設定

既定の設定: オフ

オン: モデルのブロック入力範囲違反をレポートします。
オフ: モデルのブロック入力範囲違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectBlockInputRangeViolations

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

ブロック入力範囲違反の検出

残余演算および逆数演算の使用 - hisl_0002

非有限の結果の原因となる rem 演算および reciprocal 演算の使用方法をチェックするかどうかを指定します。

これは、高信頼性システムのモデル化の hisl_0002 チェックに対応します。詳細については、hisl_0002:Math Function ブロックの使用方法 (余剰と逆数) を参照してください。

設定

既定の設定: オフ

オン: モデルでの hisl_0002 チェックの違反をレポートします。
オフ: モデルでの hisl_0002 チェックの違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectHISMViolationsHisl_0002

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

高信頼性システムモデリングガイドラインのモデルアドバイザーチェック

Math Function

平方根演算の使用 - hisl_0003

負になる可能性のある入力をもつ Square Root 演算の使用方法をチェックするかどうかを指定します。

これは、高信頼性システムのモデル化の hisl_0003 チェックに対応します。詳細については、hisl_0003:Square Root ブロックの使用方法を参照してください。

設定

既定の設定: オフ

オン: モデルでの hisl_0003 チェックの違反をレポートします。
オフ: モデルでの hisl_0003 チェックの違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectHISMViolationsHisl_0003

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

高信頼性システムモデリングガイドラインのモデルアドバイザーチェック

Sqrt

log 演算および log10 演算の使用 - hisl_0004

非有限の結果の原因となる log 演算および log10 演算の使用方法をチェックするかどうかを指定します。

これは、高信頼性システムのモデル化の hisl_0004 チェックに対応します。詳細については、hisl_0004:Math Function ブロックの使用方法 (自然対数と 10 を底とする対数) を参照してください。

設定

既定の設定: オフ

オン: モデルでの hisl_0004 チェックの違反をレポートします。
オフ: モデルでの hisl_0004 チェックの違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectHISMViolationsHisl_0004

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

高信頼性システムモデリングガイドラインのモデルアドバイザーチェック

Reciprocal Square Root ブロックの使用方法 - hisl_0028

0 または負になる可能性のある入力をもつ Reciprocal Square Root ブロックの使用方法をチェックするかどうかを指定します。

これは、高信頼性システムのモデル化の hisl_0028 チェックに対応します。詳細については、hisl_0028:Reciprocal Square Root ブロックの使用を参照してください。

設定

既定の設定: オフ

オン: モデルでの hisl_0028 チェックの違反をレポートします。
オフ: モデルでの hisl_0028 チェックの違反をレポートしません。

コマンドライン情報

パラメーター: DVDetectHISMViolationsHisl_0028

タイプ: 文字配列

値: 'on' | 'off'

既定の設定: 'off'

参考

高信頼性システムモデリングガイドラインのモデルアドバイザーチェック