Simulink の最適化とモデルカバレッジ

[コンフィギュレーションパラメーター] ダイアログボックスには、モデルカバレッジデータに影響する 3 種類の Simulink^® 最適化パラメーターがあります。

インラインパラメーター

調整可能なモデルパラメーターをコード生成用の定数値に変換するには、[コンフィギュレーションパラメーター] ダイアログボックスの [数学とデータ型] ペインで [既定のパラメーター動作] を [インライン] に設定します。

パラメーターが定数に変換されると、Simulink でモデル内の一部の判定が消去される場合があります。判定の消去によってカバレッジが収集されないため、カバレッジレポートではこの判定のカバレッジは 0/0 と表示されます。

ブロック削減

モデルシミュレーションと生成されたコードでの実行速度を向上させるには、[コンフィギュレーションパラメーター] ダイアログボックスで [ブロック削減] パラメーターを選択します。Simulink によって特定のブロックグループがより効率的な 1 つのブロックに縮約されるか、完全に削除されます。

モデルカバレッジオプションのうち、[ブロック削減を強制オフ] を選択すると、モデルカバレッジの収集時に [ブロック削減] パラメーターが無視されます。

[ブロック削減] パラメーターが選択されていない場合や、[ブロック削減を強制オフ] が選択されている場合、Simulink Coverage™ では、カバレッジを収集するモデル上のすべてのブロックについてカバレッジデータを収集します。

[ブロック削減] パラメーターが選択されていて [ブロック削減を強制オフ] が設定されていない場合、カバレッジレポートには、カバレッジを収集する可能性のあった削減済みのブロックが表示されます。

条件付き入力分岐実行

[条件付き入力分岐実行] パラメーターによって、予想よりも Simulink Coverage の結果が低くなる場合があります。

ケース 1: 上流にある Switch ブロックが最適化で完全に除外される

Model image shows a step source block connected to the condition port of Switch block one. Output from Switch block one connects to true port of switch block 2. A boolean false block connects to the condition port of Switch block 2, causing Switch block 2 to be false for the entire simulation.

false に設定された Constant ブロックが C_Switch2 で制御入力に接続されているため、C_Switch2 の true のケースが発生しません。その結果、[条件付き入力分岐実行] で最適化から C_Switch1 が除外されます。Simulink Coverage は C_Switch1 について 0% カバレッジをレポートします。

C_Switch1 ブロックはデッドロジックであるため、カバレッジレポートは、[カバレッジ解析から削除されたブロック] セクションを生成します。

Model coverage report section titled "Blocks Eliminated from Coverage Analysis" displays a message saying that C_Switch1 might not be executed because of Conditional input branch optimization.

ケース 2: 上流にある Switch ブロックが最適化で部分的に除外される

Boolean データ型に変換される Step ブロックは、ステップ時間の前後にそれぞれ false と true を出力します。

Step source input connects to the condition port of two switch blocks. The output signal of A_Switch1 connects to the true port of A_Switch2.

[条件付き入力分岐実行] を無効にすると、フルカバレッジが提供されます。[条件付き入力分岐実行] を有効にすると、A_Switch1 に部分カバレッジが提供されます。これは、A_Switch2 で true ケースが識別されるのと同時に A_Switch1 では false ケースが識別されないためです。つまり、両方の Switch ブロックが true であるか、両方が false のどちらかになります。A_Switch1 の false ケースはモデルに影響しません。カバレッジレポートは A_Switch1 について 50% のカバレッジを正しくレポートします。