ロジックカバレッジ

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

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

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

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

  • プログラムの決定

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

  • Requirements