手順1:モデルを開く

コマンドプロンプトで,次を入力します。

open_system (“sldvdemo_design_error_detection”)；

手順2:設計エラー検出解析の実行

モデルは,(整数のオーバーフロー]オプションが,(设计验证器)、[設計エラー検出)ペインの[コンフィギュレーションパラメーター]ダイアログボックスで有効としてあらかじめ構成されています。

(设计验证器)タブで[設計エラー検出)をクリックします。

ソフトウェアは整数オーバーフローエラーについてモデルを解析します。解析が終了した後[検証結果の概要]ウィンドウで,5つのオブジェクティブが有効であり,2つのオブジェクティブが反証されたことが報告されます。

手順3:解析結果のレビュー

モデルの解析結果を強調表示するには,[検証結果の概要]ウィンドウで(解析結果をモデル上で強調表示)をクリックします。有効なオブジェクティブは緑で,反証されたオブジェクティブは赤で強調表示されます。

控制器サブシステムをダブルクリックします。赤で強調表示されている总和ブロックをクリックします。結果インスペクターウィンドウに整数オーバーフローオブジェクティブが表示されます。

結果としてエラーとなるテストケースを表示するには[テストケースを表示)をクリックします。ハーネスモデルが開き,信号生成器ブロックが,結果としてエラーとなるテストケースを表示します。

手順4:整数オーバーフローエラーの修正

整数オーバーフローを生成した両方の总和ブロックに対して(整数オーバーフローで飽和)オプションを有効にします。または,金宝app仿真软件エディターで[在溢出时切换饱和度]ボタンをダブルクリックします。

整数オーバーフローが解決されたことを確認するには,(设计验证器)タブで[設計エラー検出)をクリックします。解析の完了後に,すべてのオブジェクティブが有効であることがレポートされます。

関連するトピック