Main Content

Simulink Design Verifier のオプション

Simulink® Design Verifier™ は、Simulink モデルの検証と妥当性確認プロセスの制御とカスタマイズを行うための一連の包括的なオプションを提供しています。オプションは広範囲の機能を網羅しています。これには、エラーの検索深度を定義することによる解析タイプの選択、時間とリソースの制限の設定、さまざまなカバレッジ メトリクスを達成するためのテスト ケース生成のカスタマイズが含まれますが、これに限定されません。

[コンフィギュレーション パラメーター] ダイアログ ボックス内のオプション

[コンフィギュレーション パラメーター] ダイアログ ボックスで Simulink Design Verifier の解析オプションを設定できます。オプションを表示するには、[Design Verifier] タブを開きます。[準備] セクションのドロップダウン リストから [設定] をクリックし、モデル コンフィギュレーション パラメーターの [Design Verifier] ペインを開きます。

既定では、Simulink Design Verifier のオプションは [コンフィギュレーション パラメーター] ダイアログ ボックスには表示されません。[Design Verifier] タブを開くと、Simulink Design Verifier はその既定のオプションをモデルと関連付けます。モデルの保存後は、Simulink Design Verifier のオプションに [コンフィギュレーション パラメーター] ダイアログ ボックスから直接アクセスできます。

このインターフェイスの操作の詳細については、モデルに対するモデル コンフィギュレーション パラメーターの設定を参照してください。

設計検証オプション オブジェクト

関数 sldvoptions を使用して、コマンド ラインで Simulink Design Verifier オプションを指定できます。

Simulink モデルに関連付けられたオプションを表示するには、MATLAB® コマンド ウィンドウで次の構文を入力します。

opts = sldvoptions('model_name');
get(opts)

設計検証オプション用のコマンド ライン パラメーター

Simulink Design Verifier の動作を設定するには、次のパラメーターを使用します。これらのパラメーターの値は、関数 get_param および set_param を使用してプログラム的に取得および指定します。

次の表は、Simulink Design Verifier のオプション ダイアログ ボックス内の特定のワークフローや位置に基づいてパラメーターをグループ化しています。

ペインオプション

UI ラベル

コマンド ライン パラメーター

値

Design Verifier解析オプション

モード

DVMode

{'TestGeneration'} | 'DesignErrorDetection' | 'PropertyProving'

最大解析時間 (秒)

DVMaxProcessTime

double {300}

出力

出力フォルダー

DVOutputDir

文字配列 {'sldv_output/$ModelName$'}

接尾辞を追加して出力ファイル名を固有にするDVMakeOutputFilesUnique{'on'} | 'off'
モデル表現の再作成モデル表現の再作成DVRebuildModelRepresentation'Always' | {'If change is detected'}
未サポートのブロックおよび関数の自動スタブ化DVAutomaticStubbing{'on'} | 'off'
指定された最小/最大入力値の使用DVDesignMinMaxConstraints{'on'} | 'off'
有理近似のインスタンスを減らすために追加の解析を実行DVReduceRationalApprox{'on'} | 'off'
並列計算でテスト ケースまたは反例を検証DVUseParallel'on' | {'off'}
オブジェクティブの除外と正当化フィルターを基にオブジェクティブを無視するDVCovFilter'on' | {'off'}
フィルター ファイルDVCovFilterFileName

文字配列 {''}

フィルター エクスプローラーDVCovFilterFileName 
コード解析オプション解析で S-Function をサポートDVSFcnSupport{'on'} | off'
volatile 修飾子を無視DVCodeAnalysisIgnoreVolatile{'on'} | off'
コード解析の追加オプションDVCodeAnalysisExtraOptionscharacter array {''}
ブロック置換ブロック置換ブロック置換の適用DVBlockReplacement

'on' | {'off'}

ブロック置換ルールのリストDVBlockReplacementRulesList文字配列 {'<FactoryDefaultRules>'}
出力モデル出力モデルのファイル パスDVBlockReplacementModelFileName文字配列 {'$ModelName$_replacement'}
パラメーターとバリアントパラメーター

パラメーター コンフィギュレーション

DVParameterConfiguration 
[パラメーター指定]、[パラメーター テーブル]DVParameterNamesdouble の配列 {[]}
DVParameterConstraintsdouble の配列 {[]}
DVParameterUseInAnalysiscell 配列 {[]}
[パラメーター指定]、[パラメーター テーブル]、[パラメーター コンフィギュレーション ファイル]DVParametersConfigFileName文字配列 {'sldv_params_template.m'}
バリアントすべての起動バリアントを解析DVAnalyzeAllStartupVariants 
テスト生成テスト生成テスト生成ターゲットDVTestgenTarget{'Model'} | 'GenCodeTopModel' | 'GenCodeModelRef'
モデル カバレッジ オブジェクティブDVModelCoverageObjectives'None' | 'Decision' | {'ConditionDecision'} | 'MCDC' | 'EnhancedMCDC'
テスト条件DVTestConditions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
テスト オブジェクティブDVTestObjectives'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
最大テスト ケース ステップ数DVMaxTestCaseStepsint32 {10000}
テスト スイートの最適化DVTestSuiteOptimization{'Auto'} | 'IndividualObjectives' | 'LongTestcases' | 'LargeModel (Nonlinear Extended)'
関係演算子境界オブジェクティブ関係演算子境界を含めるDVIncludeRelationalBoundary{'on'} | 'off'
浮動小数点の絶対許容誤差DVAbsoluteTolerancedouble{'1.0e-05'}
浮動小数点の相対許容誤差DVRelativeTolerancedouble{'0.01'}
拡張 MCDC厳密な伝播条件を使用DVStrictEnhancedMCDC'on' | {'off'}
未達カバレッジのテストを追加既存のカバレッジ データを使用して拡張DVIgnoreCovSatisfied'on' | {'off'}
カバレッジ データDVCoverageDataFile文字配列 {''}
既存テスト ケースを使用した拡張DVExtendExistingTests'on' | {'off'}
テスト データDVExistingTestFile文字配列 {''}
レポートで既存のテスト/カバレッジ データによって達成されたオブジェクティブを分離するDVIgnoreExistTestSatisfied{on'}| 'off'
設計エラー検出モデリング エラーデッド ロジック (一部)DVDetectDeadLogic'on' | {'off'}
網羅的解析を実行DVDetectActiveLogic'on' | {'off'}
解析するカバレッジ オブジェクティブDVDeadLogicObjectives'Decision' | {'ConditionDecision'} | 'MCDC'
配列の範囲外へのアクセスDVDetectOutOfBounds{'on'} | 'off'
データ ストアのアクセス違反DVDetectDSMAccessViolations'on' | {'off'}
数値エラーゼロ除算DVDetectDivisionByZero{'on'} | 'off'
整数のオーバーフローDVDetectIntegerOverflow{'on'} | 'off'
非有限で NaN の浮動小数点値DVDetectInfNaN'on' | {'off'}
非正規浮動小数点値DVDetectSubnormal'on' | {'off'}
信号範囲エラー指定された最小値と最大値の違反DVDesignMinMaxCheck'on' | {'off'}
指定したブロック入力範囲違反DVDetectBlockInputRangeViolations'on' | {'off'}
高信頼性システム モデリングのチェック残余演算および逆数演算の使用 - hisl_0002DVDetectHISMViolationsHisl_0002 
平方根演算の使用 - hisl_0003DVDetectHISMViolationsHisl_0003 
log 演算および log10 演算の使用 - hisl_0004DVDetectHISMViolationsHisl_0004 
Reciprocal Square Root ブロックの使用方法 - hisl_0028DVDetectHISMViolationsHisl_0028 
プロパティ証明プロパティ証明Assertion ブロックDVAssertions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
証明の前提DVProofAssumptions'EnableAll' | 'DisableAll' | {'UseLocalSettings'}
手法DVProvingStrategy'FindViolation' | {'Prove'} | 'ProveWithViolationDetection'
最大違反ステップ数DVMaxViolationStepsint32 {'20'}
結果データ ファイル オプションデータ ファイル名DVDataFileName文字配列 {'$ModelName$_sldvdata'}
期待される出力値を含めるDVSaveExpectedOutput'on' | {'off'}
結果に影響しないデータをランダム化DVRandomizeNoEffectData'on' | {'off'}
ハーネス モデル オプション解析後に別のハーネス モデルを生成DVSaveHarnessModel'on' | {'off'}
ハーネス モデルのファイル名DVHarnessModelFileName文字配列 {'$ModelName$_harness'}
生成されたハーネス内の入力モデルを参照DVModelReferenceHarness'on' | {'off'}
ハーネス ソースDVHarnessSource{'Signal Builder'} | 'Signal Editor'
Simulink Test オプションテスト ファイル名DVSlTestFileName文字配列 {'$ModelName$_test'}
テスト ハーネス名DVSlTestHarnessName文字配列 {'$ModelName$_sldvharness'}
レポートレポート結果のレポートを生成DVSaveReport'on' | {off'}
追加レポートを PDF 形式で生成DVReportPDFFormat'on' | {off'}
レポート ファイル名DVReportFileName文字配列 {'$ModelName$_report'}
プロパティのスクリーン ショットを含めるDVReportIncludeGraphics'on' | {off'}
レポートの表示DVDisplayReport{'on'} | 'off'

関連するトピック