Main Content

Design Verifier ペイン: レポート

[レポート] ペインの概要

Simulink® Design Verifier™ による結果のレポート方法を制御するオプションを指定します。

参考

結果のレポートを生成

Simulink Design Verifier レポートを生成して保存します。

設定

既定の設定: オフ

オン

Simulink Design Verifier が生成する HTML レポートを保存します。

オフ

Simulink Design Verifier レポートを生成しません。

依存関係

このパラメーターにより、以下のパラメーターが有効になります。

  • 追加レポートを PDF 形式で生成

  • レポート ファイル名

  • プロパティのスクリーン ショットを含める

  • レポートの表示

コマンド ライン情報

パラメーター: DVSaveReport
タイプ: 文字配列
値: 'on' | 'off'
既定の設定: 'off'

参考

追加レポートを PDF 形式で生成

Simulink Design Verifier の PDF バージョンの追加レポートを保存します。

設定

既定の設定: オフ

オン

Simulink Design Verifier の PDF バージョンの追加レポートを保存します。

オフ

Simulink Design Verifier の PDF バージョンの追加レポートを保存しません。

依存関係

このパラメーターは [結果のレポートを生成] の選択時に有効になります。

コマンド ライン情報

パラメーター: DVReportPDFFormat
タイプ: 文字配列
値: 'on' | 'off'
既定の設定: 'off'

参考

レポート ファイル名

Simulink Design Verifier 解析で生成されるレポートのファイル名およびフォルダーを指定します。

設定

既定の設定: $ModelName$_report

  • オプションで、[出力フォルダー] に指定されたパス名の絶対パスまたは相対パスを入力します。

  • 解析で生成されるレポートのファイル名を入力します。

  • $ModelName$ は、モデル名を表すトークンです。

依存関係

このパラメーターは [結果のレポートを生成] の選択時に有効になります。

コマンド ライン情報

パラメーター: DVReportFileName
タイプ: 文字配列
値: 任意の有効なパスおよびファイル名
既定の設定: '$ModelName$_report'

参考

プロパティのスクリーン ショットを含める

プロパティのスクリーン ショットを Simulink Design Verifier レポートに含めます。プロパティ証明モードでのみ有効です。

設定

既定の設定: オフ

オン

プロパティのスクリーン ショットを Simulink Design Verifier レポートに含めます。プロパティ証明モードでのみ有効です。

オフ

プロパティのスクリーン ショットを Simulink Design Verifier レポートに含めません。

依存関係

このパラメーターは、[レポート] ペインの [結果のレポートを生成] と [結果] ペインの [解析後に別のハーネス モデルを生成] を選択すると有効になります。

コマンド ライン情報

パラメーター: DVReportIncludeGraphics
タイプ: 文字配列
値: 'on' | 'off'
既定の設定: 'off'

参考

レポートの表示

Simulink Design Verifier 解析の完了後、生成されたレポートを表示します。

設定

既定の設定: オン

オン

解析の完了後、生成されたレポートを表示します。

オフ

解析の完了後、生成されたレポートを表示しません。

依存関係

このパラメーターは [結果のレポートを生成] の選択時に有効になります。

コマンド ライン情報

パラメーター: DVDisplayReport
タイプ: 文字配列
値: 'on' | 'off'
既定の設定: 'on'

参考