モデルにおける结果の表示 -Matlab＆Simul万博1manbetxink -Mathworks日本

モデルにおける结果强调表示

モデルの表示による结果レビューレビュー

万博1manbetx^®设计验证器™を使用を解析する，，たオブジェクトオブジェクトは次のいずれかのの色で自动自动的ににに强调强调

グリーン
レッド
オレンジ
グレー

万博1manbetxsimulinkエディター强调表示れてオブジェクト见ること一目で解析结果结果をレビューでき。

万博1manbetx设计验证者结果インスペクター

モデルがさて场合解析结果がされたオブジェクトををクリックすることができことができます。そうそう万博1manbetxSimulink设计验证者结果インスペクター，オブジェクトの详细なが表示され。。

モデル上结果の自动表示表示

解析时，ステータスがされると，万博1manbetxSimulink设计验证者はオブジェクト的に强调表示します。では，自动自动，表示表示は有效有效有效有效有效になっなってていいいいます。强调强调表示表示をを无效无效无效[强调表示无效]をクリックし。

万博1manbetxsimulinkエディターモデルの结果が强调表示れ。表示表示有效有效ななときときははは，インスペクターがが开いててて，，解析オブジェクティブオブジェクティブの

メモ

万博1manbetxSimulink设计验证者では状态流^®の状态表强调表示され。。万博1manbetxSimulink设计验证者のレポートファイルログファイルには迁移解析データデータ含ま含まれますます。レポートを使用使用するととと，，

モデル上グリーンの强调表示

グリーンにさているは，の解析で次を意味します。

解析モード	グリーンの强调表示
设计エラー検出	オーバーフローゼロエラーがからなかった。デッドロジック见つからなかっ。。ユーザー指定および制约の外の信号または信号が见つからなかった。配列のへのエラーが见つなかっ。。。
テスト生成	テストオブジェクティブさせるケースが见つなかっ。。。
プロパティ证明	证明オブジェクティブすべてと判定され。。

モデル上レッドの强调表示

レッドにさているは，それぞれ解析で次を意味し。。

解析モード	レッドの强调表示
设计エラー検出	オーバーフローゼロエラーがするするテストケースがががつつ以上见つかっ。。デッドロジックがた。ユーザー指定および最大の范囲外中间または出力信号が见つかった。配列のへのアクセスが発生発生するケースががががつつ以上见つかったた
テスト生成	达成さないテストがあった。
プロパティ证明	证明オブジェクティブさ，そのオブジェクティブがさた反例が生成れた。

レッドでさたオブジェクトががモデルにつつ以上れている场合，モデルはは万博1manbetxSimulink设计验证者がレッド表示ていない他设计が含まてている可能可能性性性がががあります。设计设计内ののののオブジェクトオブジェクトオブジェクト万博1manbetxSimulink设计验证者，そのオブジェクトさらにエラーがあるか，またはそれらががランタイムランタイムエラーエラーののの原因原因とオブジェクトオブジェクトのの结果结果にに依存ししているいるかかかか特定できできできでき场合场合场合がががががたエラー解决，解析再実行して，万博1manbetxSimulink设计验证者によって内他オブジェクトがで强调されいないか确认しし。。。

モデル上オレンジの强调表示

オレンジにさているは，の解析について次を意味します。

解析モード	オレンジの强调表示
设计エラー検出	强调表示れたモデル，， 1つつエラーオブジェクティブ判定さなかったこの状况はは次の场合にに発生。解析が进行中である。解析がアウトした。ゼロ除算线形が原因で，でエラー検出オブジェクティブをできない。スタブが，が设计エラー検出判定できない。详细，自动スタブ非互换性处理を参照しください。解析エンジン，ソフトウェアが设计エラーエラーを判定ないたとえば，，上下限ののないないないないないないないないないないないないないないないないないないないないループループループループループ近似を参照しください。近似の受ける性のあるデッド见つかった。详细について，検证结果によるのレポートを参照しください。近似の受ける可能のある有效オブジェクティブ见つかった。详细については，検证结果によるのレポートを参照しください。
テスト生成	强调表示れたモデル，， 1つつオブジェクティブ判定れなかったこの状况次の场合にに発生し。。解析が进行中である。解析がアウトした。ゼロ除算线形が原因で，テストオブジェクティブを判定でき。スタブが，ソフトウェアテストオブジェクティブをでき。。はは，自动スタブ非互换性处理を参照しください。解析エンジン，ソフトウェアがテストオブジェクティブオブジェクティブでき。，上下限上下限上下限のないないないないないないないないないないないないないループループループループループループループループがたた近似を参照しください。近似影响受ける性の，达成れないが见つかった。详细详细，，，検证结果によるのレポートを参照しください。検证结果ステータスをできない。について，，，达成さた -シミュレーション -シミュレーションが必要必要を参照しください。
プロパティ证明	强调表示れたモデル，， 1つのつのがされたこの状况はの场合に発生します。解析が进行中である。解析がアウトした。证明オブジェクティブこのソフトウェア制御できないを信号に存在する。たとえば，持续的ブロックなど。ゼロ除算线形が原因で，证明オブジェクティブを判定でき。スタブが，ソフトウェア证明オブジェクティブをでき。。はは，自动スタブ非互换性处理を参照しください。解析エンジン，ソフトウェアが证明オブジェクティブオブジェクティブでき。，上下限上下限上下限のないないないないないないないないないないないないないループループループループループループループループがたた近似を参照しください。近似の受ける可能のある有效オブジェクティブ见つかった。详细については，検证结果によるのレポートを参照しください。検证结果ステータスをできない。について，，，反证さた -シミュレーション -シミュレーションが必要必要を参照しください。

解析モード

オレンジの强调表示

设计エラー検出

强调表示れたモデル，，

1つつエラーオブジェクティブ判定さなかったこの状况はは次の场合にに発生。
- 解析が进行中である。
- 解析がアウトした。
- ゼロ除算线形が原因で，でエラー検出オブジェクティブをできない。
- スタブが，が设计エラー検出判定できない。详细，自动スタブ非互换性处理を参照しください。
- 解析エンジン，ソフトウェアが设计エラーエラーを判定ないたとえば，，上下限ののないないないないないないないないないないないないないないないないないないないないループループループループループ近似を参照しください。

近似の受ける性のあるデッド见つかった。详细について，検证结果によるのレポートを参照しください。
近似の受ける可能のある有效オブジェクティブ见つかった。详细については，検证结果によるのレポートを参照しください。

テスト生成

强调表示れたモデル，，

1つつオブジェクティブ判定れなかったこの状况次の场合にに発生し。。
- 解析が进行中である。
- 解析がアウトした。
- ゼロ除算线形が原因で，テストオブジェクティブを判定でき。
- スタブが，ソフトウェアテストオブジェクティブをでき。。はは，自动スタブ非互换性处理を参照しください。
- 解析エンジン，ソフトウェアがテストオブジェクティブオブジェクティブでき。，上下限上下限上下限のないないないないないないないないないないないないないループループループループループループループループがたた近似を参照しください。

近似影响受ける性の，达成れないが见つかった。详细详细，，，検证结果によるのレポートを参照しください。
検证结果ステータスをできない。について，，，达成さた -シミュレーション -シミュレーションが必要必要を参照しください。

プロパティ证明

强调表示れたモデル，，

1つのつのがされたこの状况はの场合に発生します。
- 解析が进行中である。
- 解析がアウトした。
- 证明オブジェクティブこのソフトウェア制御できないを信号に存在する。たとえば，持续的ブロックなど。
- ゼロ除算线形が原因で，证明オブジェクティブを判定でき。
- スタブが，ソフトウェア证明オブジェクティブをでき。。はは，自动スタブ非互换性处理を参照しください。
- 解析エンジン，ソフトウェアが证明オブジェクティブオブジェクティブでき。，上下限上下限上下限のないないないないないないないないないないないないないループループループループループループループループがたた近似を参照しください。

近似の受ける可能のある有效オブジェクティブ见つかった。详细については，検证结果によるのレポートを参照しください。
検证结果ステータスをできない。について，，，反证さた -シミュレーション -シミュレーションが必要必要を参照しください。

モデル上グレーの强调表示

グレーに表示ているオブジェクトはを意味します。

解析モード	グレーの强调表示
设计エラー検出テスト生成プロパティ证明	モデルオブジェクト解析含まれいなかった。