。
结果结果解釈および使用
万博1manbetx®设计Verifier™をを用して解析结果ログ记录およびおよび，解析レポートの生成を行。テストテスト力を生成し，それらそれら万博1manbetxSimulink Test™の新闻テストケースにエクスポートできますます。
关节
sldvloadResults. |
モデルの万博1manbetx设计验证者解析结果を読み込む |
sldvhighlight. |
万博1manbetx设计验证者解析のデータを使使ててモデルを强调表示 |
sldvreport. |
万博1manbetx设计验证者レポートを作物成 |
sldvsimdata. |
数据集形式形式のシミュレーションデータデータを取得しし |
Sldvruntestopts. |
sldvruntest.またはsldvruncgvtest.に対するシミュレーションまたは実行オプションオプション生成 |
sldvruntest. |
入力データを使使使たモデルの |
Sldvharnesspopts. |
SLDVMakeharness.の既定のオプション |
SLDVMakeharness. |
ハーネスモデルの生成 |
SLDVMerGeharness. |
テストテストケースおよび初ををつのハーネスハーネスモデルにマージ |
トピック
モデルモデルの解析结果结果の强调についてについて明しし。
万博1manbetxSimulink Design Verifierレポート
万博1manbetxSimulink Design Verifierレポートレポートのさまざまなななについてについて明する。
万博1manbetxSimulink Design Verifierハーネスハーネス
基本的なハーネスモデルを明しし。
万博1manbetxSimulink Design Verifierデータデータ
万博1manbetxSimulink Design Verifierデータファイルのコンテンツについてについて明する。
万博1manbetxSimulink Design Verifierログログ
解析解析ログファイルについてについて说说说しし
万博1manbetxSimulink Design Verifierにより生成され结果结果料方法
万博1manbetxSimulink Design Verifierによるによるのレポート方法をを制御するオプションを指定しし
万博1manbetxSimulink Design Verifierの[検证结果の概要]ウィンドウで解析结果をレビュー。
万博1manbetxSimulinktestへへのテストケースのの
プロパティ说明，设计エラー検出およびテストケース生成によって生成される万博1manbetxSimulink Design Verifier解析结果を使使用して，万博1manbetxSimulink测试でテストケースを生成する方法を说明する。
注目の例
您还可以从以下列表中选择一个网站：
