ロジックカバレッジ

ロジックカバレッジテストとは何ですか？

ロジックはコードの内部構造に対応しており、このテストは、航空業界で使用されるソフトウェアなどのセーフティクリティカルなアプリケーションに採用されています。このテストは、式への真理割り当ての総数のサブセットを検証します。

ロジックカバレッジソース：

ロジックカバレッジは、以下のソースのいずれかから取得されます。

• プログラムの決定

• 有限状態機械とステートチャート

• Requirements