解析結果のレビュー

解析結果をログ記録およびレビューし、レポートを生成し、テストケースを検査する

Simulink^® Design Verifier™ を使用して解析結果のログ記録およびレビュー、解析レポートの生成を行います。テスト入力を生成し、それらを Simulink Test™ の新しいテストケースにエクスポートできます。

関数

`sldvloadresults`	モデルの Simulink Design Verifier 解析結果を読み込む
`sldvhighlight`	Simulink Design Verifier 解析のデータを使用してモデルを強調表示する
`sldvreport`	Simulink Design Verifier レポートを生成する
`sldvsimdata`	`Dataset` 形式のシミュレーションデータの取得
`sldvruntestopts`	`sldvruntest` または `sldvruncgvtest` に対するシミュレーションまたは実行オプションの生成
`sldvruntest`	入力データを使用したモデルのシミュレーション
`sldvharnessopts`	`sldvmakeharness` の既定のオプション
`sldvmakeharness`	ハーネスモデルの生成
`sldvmergeharness`	テストケースおよび初期化を 1 つのハーネスモデルにマージする
`sldvruncgvtest`	コード生成検証 (CGV) API の起動とモデルの実行

トピック

モデルにおける結果の強調表示
モデルの解析結果の強調表示について説明します。
結果の確認
Simulink Design Verifier レポートのさまざまな部分について説明する。
Simulink Design Verifier ハーネスモデルの管理
基本的なハーネスモデルを説明します。
Simulink Design Verifier データファイルの管理
Simulink Design Verifier データファイルのコンテンツについて説明する。
ログファイルの表示
解析ログファイルについて説明します。
解析結果のレビュー
Simulink Design Verifier の [結果の概要] ウィンドウで解析結果をレビューする。
SimulinkTest へのテストケースのエクスポート
プロパティ証明、設計エラー検出およびテストケースの生成によって生成される Simulink Design Verifier 解析結果を使用して、Simulink Test でテストケースを生成する方法を説明する。
Export Tests from Models That Contain Requirements Table Blocks with Simulink Design Verifier
Automate test generation and execution by using models that contain Requirements Table blocks.
Simulink Design Verifier フィルターエクスプローラーを使用したオブジェクティブのフィルター処理
[解析フィルター] エクスプローラーを使用したオブジェクティブのフィルター処理の説明。
Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.

注目の例

Signal Editor の Inputs ブロックを使用したハーネスモデルのシミュレート

この例では、Signal Editor の Inputs ブロックを使用してテストハーネスモデルをシミュレートすることにより、モデルカバレッジレポートを生成する方法を説明します。Signal Editor ダイアログボックスでアクティブなシナリオを選択することにより、単一のテストケースまたは反例をシミュレートできます。詳細については、Signal Editor の Inputs ブロックを使用したハーネスモデルのシミュレートを参照してください。

スクリプトを開く