論理演算のショートサーキット

ショートサーキットは、&& (AND) 演算子および || (OR) 演算子を含む論理式によって示されます。

&& 演算子を含む論理式は、左辺の式が false と評価されると式全体も false と評価されます。この場合、左辺の式によって結果が既に確定しているため右辺の式は評価されません。

同様に、|| 演算子を含む論理式の場合、左辺の式が true と評価されると、左辺の式によって結果が確定するため右辺の式は評価されません。このショートサーキットを使用した論理式の評価は、結果が既に確定している場合の不要な評価を回避して実行を最適化するのに役立ちます。

Condition オブジェクティブおよび MCDC オブジェクティブの論理演算子と論理式は、デッドロジックの解析時やテストの生成時に、ショートサーキットと見なされる場合と見なされない場合があります。次の表は、その違いについての考慮事項をまとめたものです。

Condition オブジェクティブおよび MCDC オブジェクティブのショートサーキットについての考慮事項:

モデリング要素	`Condition` オブジェクティブおよび `MCDC` オブジェクティブのショートサーキットについての考慮事項
論理ブロック (スタンドアロン/カスケード)	`Condition` オブジェクティブおよび `MCDC` オブジェクティブは `CovLogicBlockShortCircuit` が ON の場合のみショートサーキット
Enabled Subsystem と Triggered Subsystem	`Condition` オブジェクティブはショートサーキットです。`MCDC` オブジェクティブはショートサーキットなしです。
MATLAB^®、Stateflow^® (C または MATLAB をアクション言語として使用)、その他の Simulink^® ブロック (Fcn、If)	`Condition` オブジェクティブおよび `MCDC` オブジェクティブは常にショートサーキット

次の表は、Condition オブジェクティブについて、CovLogicBlockShortCircuit パラメーターによる違いをまとめたものです。

CovLogicBlockShortCircuit パラメーターに基づく Condition オブジェクティブのショートサーキットについての考慮事項

ブロック	`Condition` オブジェクティブ	`CovLogicBlockShortCircuit` が ON の場合の条件式	`CovLogicBlockShortCircuit` が OFF の場合の条件式
3 つの端子をもつ論理 `AND` ブロック	`Condition` 'F'、端子 2	(in1 && ~in2)	(~in2)
3 つの端子をもつ論理 `OR` ブロック	`Condition` 'F'、端子 2	(~in1 && ~in2)	(~in2)
式 (u1 && u2 && u3) を含む MATLAB 関数またはチャート	'u2' `False`	(u1 && ~u2)	(u1 && ~u2)

次の表は、CovLogicBlockShortCircuit パラメーターに基づいて変化するオブジェクティブの違いをまとめたものです。

CovLogicBlockShortCircuit パラメーターに基づく MCDC オブジェクティブのショートサーキットについての考慮事項:

ブロック	`MCDC` オブジェクティブ	`CovLogicBlockShortCircuit` が ON の場合の `MCDC` の式	`CovLogicBlockShortCircuit` が OFF の場合の `MCDC` の式
3 つの端子をもつ論理 `AND` ブロック	入力端子 2 が `false` の出力の式	(in1 && ~in2)	(in1 && ~in2 && in3)
3 つの端子をもつ論理 `AND` ブロック	入力端子 2 が `true` の出力の式	(in1 && in2 && in3)	(in1 && in2 && in3)
式 (u1 && u2 && u3) を含む MATLAB 関数またはチャート	入力端子 2 が `false` の出力の式	(in1 && ~in2)	(in1 && ~in2)
式 (u1 && u2 && u3) を含む MATLAB 関数またはチャート	入力端子 2 が `true` の出力の式	(in1 && in2 && in3)	(in1 && in2 && in2)

メモ

MCDC 式がカスケードされたロジックから派生している場合、論理ブロックと同様の定義に従います。

詳細については、カスケード論理ブロックの MCDC の解析 (Simulink Coverage)の「MCDC の論理式のショートサーキット」を参照してください。

場合によっては、CovLogicBlockShortCircuit パラメーターに基づいて MCDC オブジェクティブのカバレッジ結果が次のように変わることがあります。

CovLogicBlockShortCircuit パラメーターが OFF の場合、すべての入力が検討されます。

CovLogicBlockShortCircuit パラメーターに基づく Condition オブジェクティブのショートサーキットについての考慮事項:

ブロック	`Condition` オブジェクティブ	`CovLogicBlockShortCircuit` が ON の場合の `Condition` の式	`CovLogicBlockShortCircuit` が OFF の場合の `Condition` の式
3 つの端子をもつ論理 `AND` ブロック	`Condition` 'F'、端子 3	(in1 && in2 && ~in2) (デッドロジック)	(~in2) (アクティブロジック)

CovLogicBlockShortCircuit パラメーターに基づく MCDC オブジェクティブのショートサーキットについての考慮事項:

ブロック	`MCDC` オブジェクティブ	`CovLogicBlockShortCircuit` が ON の場合の `MCDC` の式	`CovLogicBlockShortCircuit` が OFF の場合の `MCDC` の式
3 つの端子をもつ論理 `AND` ブロック	入力端子 2 が `false` の出力の式	(in1 && ~in2) (アクティブロジック)	(in1 && ~in2 && in2) (デッドロジック)