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 | 解析オプション | モード |
|
|
最大解析時間 (秒) |
| double | ||
| 出力 | 出力フォルダー |
| 文字配列 | |
| 接尾辞を追加して出力ファイル名を固有にする | 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' | ||
| コード解析の追加オプション | DVCodeAnalysisExtraOptions | character array {''} | ||
| ブロック置換 | ブロック置換 | ブロック置換の適用 | DVBlockReplacement |
|
| ブロック置換ルールのリスト | DVBlockReplacementRulesList | 文字配列 {'<FactoryDefaultRules>'} | ||
| 出力モデル | 出力モデルのファイル パス | DVBlockReplacementModelFileName | 文字配列 {'$ModelName$_replacement'} | |
| パラメーターとバリアント | パラメーター | パラメーター コンフィギュレーション | DVParameterConfiguration | |
| [パラメーター指定]、[パラメーター テーブル] | DVParameterNames | double の配列 {[]} | ||
DVParameterConstraints | double の配列 {[]} | |||
DVParameterUseInAnalysis | cell 配列 {[]} | |||
| [パラメーター指定]、[パラメーター テーブル]、[パラメーター コンフィギュレーション ファイル] | DVParametersConfigFileName | 文字配列 {'sldv_params_template.m'} | ||
| バリアント | すべての起動バリアントを解析 | DVAnalyzeAllStartupVariants | ||
| テスト生成 | テスト生成 | テスト生成ターゲット | DVTestgenTarget | {'Model'} | 'GenCodeTopModel' | 'GenCodeModelRef' |
| モデル カバレッジ オブジェクティブ | DVModelCoverageObjectives | 'None' | 'Decision' | {'ConditionDecision'} | 'MCDC' | 'EnhancedMCDC' | ||
| テスト条件 | DVTestConditions | 'EnableAll' | 'DisableAll' | {'UseLocalSettings'} | ||
| テスト オブジェクティブ | DVTestObjectives | 'EnableAll' | 'DisableAll' | {'UseLocalSettings'} | ||
| 最大テスト ケース ステップ数 | DVMaxTestCaseSteps | int32 {10000} | ||
| テスト スイートの最適化 | DVTestSuiteOptimization | {'Auto'} | 'IndividualObjectives' | 'LongTestcases' | 'LargeModel (Nonlinear Extended)' | ||
| 関係演算子境界オブジェクティブ | 関係演算子境界オブジェクティブを含める | DVIncludeRelationalBoundary | {'on'} | 'off' | |
| 浮動小数点の絶対許容誤差 | DVAbsoluteTolerance | double {'1.0e-05'} | ||
| 浮動小数点の相対許容誤差 | DVRelativeTolerance | double {'0.01'} | ||
| 拡張 MCDC | 厳密な伝播条件を使用 | DVStrictEnhancedMCDC | 'on' | {'off'} | |
| 未達カバレッジのテストを追加 | 既存のカバレッジ データを使用して拡張 | DVIgnoreCovSatisfied | 'on' | {'off'} | |
| カバレッジ データ | DVCoverageDataFile | 文字配列 {''} | ||
| 既存テスト ケースを使用した拡張 | DVExtendExistingTests | 'on' | {'off'} | ||
| テスト データ | DVExistingTestFile | 文字配列 {''} | ||
| レポートで既存のテスト/カバレッジ データによって達成されたオブジェクティブを分離する | DVIgnoreExistTestSatisfied | {on'}| 'off' | ||
| 設計エラー検出 | 欠陥チェッカー | DVDefectChecker | {'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_0002 | DVDetectHISMViolationsHisl_0002 | ||
| 平方根演算の使用 - hisl_0003 | DVDetectHISMViolationsHisl_0003 | |||
| log 演算および log10 演算の使用 - hisl_0004 | DVDetectHISMViolationsHisl_0004 | |||
| Reciprocal Square Root ブロックの使用方法 - hisl_0028 | DVDetectHISMViolationsHisl_0028 | |||
| プロパティ証明 | プロパティ証明 | Assertion ブロック | DVAssertions | 'EnableAll' | 'DisableAll' | {'UseLocalSettings'} |
| 証明の前提 | DVProofAssumptions | 'EnableAll' | 'DisableAll' | {'UseLocalSettings'} | ||
| 手法 | DVProvingStrategy | 'FindViolation' | {'Prove'} | 'ProveWithViolationDetection' | ||
| 最大違反ステップ数 | DVMaxViolationSteps | int32 {'20'} | ||
| 結果 | データ ファイル オプション | データ ファイル名 | DVDataFileName | 文字配列 {'$ModelName$_sldvdata'} |
| 期待される出力値を含める | DVSaveExpectedOutput | 'on' | {'off'} | ||
| 結果に影響しないデータをランダム化 | DVRandomizeNoEffectData | 'on' | {'off'} | ||
| ハーネス モデル オプション | 解析後に別のハーネス モデルを生成 | DVSaveHarnessModel | 'on' | {'off'} | |
| ハーネス モデルのファイル名 | DVHarnessModelFileName | 文字配列 {'$ModelName$_harness'} | ||
| 生成されたハーネス内の入力モデルを参照 | DVModelReferenceHarness | 'on' | {'off'} | ||
| Simulink Test オプション | テスト ファイル名 | DVSlTestFileName | 文字配列 {'$ModelName$_test'} | |
| テスト ハーネス名 | DVSlTestHarnessName | 文字配列 {'$ModelName$_sldvharness'} | ||
| レポート | レポート | 結果のレポートを生成 | DVSaveReport | 'on' | {off'} |
| 追加レポートを PDF 形式で生成 | DVReportPDFFormat | 'on' | {off'} | ||
| レポート ファイル名 | DVReportFileName | 文字配列 {'$ModelName$_report'} | ||
| プロパティのスクリーン ショットを含める | DVReportIncludeGraphics | 'on' | {off'} | ||
| レポートの表示 | DVDisplayReport | {'on'} | 'off' |
