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' |