状態テスト技法は、さまざまな入力条件とイベントに対するテスト対象システムの動作に基づく動的テスト技法の一種です。動的テスト技法では、テスト ケースを使用してシステムを実行する必要がありますが、静的テスト技法では必要ありません。静的テスト技法は、レビュー、検査、ウォークスルー、静的分析など、コードの実行準備ができる前に適用できます。静的テスト技法は、開発プロセスの早い段階で欠陥を見つけ、コードの品質を向上させ、動的テストのコストと労力を削減するのに役立ちます。参照 = ISTQB Certified Tester Foundation Level (CTFL) v4.0 シラバス、第 4 章、セクション 4.2.1、281 ページ、ISTQB Glossary of Testing Terms v4.0、292 ページ

状態遷移テストは、状態マシンの状態と遷移をカバーするようにテスト ケースが設計されたブラック ボックス テスト手法です。
次の遷移を持つ状態モデルが与えられます。
* 配置済み -> 生産中
* 制作中 -> キャンセル
* 生産中 -> 出荷済み
* 発送済み -> 請求済み
* 請求済み -> キャンセル
* キャンセル -> 発注済み
すべての遷移を少なくとも 1 回カバーするには、6 つの遷移すべてをカバーするシーケンスを作成する必要があります。
オプション A: 製造中 -> キャンセル済み -> 発注済み -> 製造中 -> キャンセル済み -> 発注済み - 発送済み -> 請求済みおよび請求済み -> キャンセル済み の遷移がありません。
オプション B: 生産中 -> 発送済み -> 請求済み -> キャンセル済み -> 発注済み -> 生産中 - すべての遷移をカバーします。
オプション C: PLACED -> IN PRODUCTION -> SHIPPED -> CANCELLED (ISTQB 非営利団体) (Udemy) は、INVOICED -> CANCELLED の遷移を実行します。
オプション D: PLACED -> CANCELLED -> PLACED -> CANCELLED -> PLACED -> IN PRODUCTION -> CANCELLED - SHIPPED -> INVOICED および INVOICED -> CANCELLED 遷移がありません。
これらを考慮すると、オプション B はすべての遷移6†ソース9†ソースをカバーします。
参考文献:
* 認定テスター基礎レベル v4.0
* 10 サンプル試験 ISTQB Foundation Level (CTFL) v4.0

保守テストは、納品後のソフトウェア製品に対して、欠陥を修正したり、パフォーマンスやその他の属性を改善したりするために実行されるテストです。保守テストは、リリースされたソフトウェアまたはシステムの変更、システム データの代替システムへの移行、ソフトウェアまたはシステムの廃止など、さまざまな状況によってトリガーされる可能性があります。開発フェーズ中に保守要件が更新された場合は、保守テストは実行されません。これは、保守状況ではなく、開発プロセスで処理する必要がある変更要求であるためです。検証済みの参考文献: [ISTQB Foundation Level 2018 シラバスの学習ガイド - Springer]、第 2 章、18 ～ 19 ページ。

分岐カバレッジは、テスト ケースによって実行される分岐または決定結果の割合を測定する構造カバレッジ メトリックの一種です。分岐とは、条件に基づいて制御フローが 2 つ以上の代替パスを取ることができるコード内のポイントです。たとえば、if-else ステートメントは、条件の評価に応じて if ブロックまたは else ブロックのいずれかを実行できる分岐です。分岐カバレッジは、各分岐がテスト ケースによって少なくとも 1 回実行されることを保証し、さまざまなシナリオでのソフトウェアの動作を明らかにします。分岐カバレッジは、決定カバレッジまたは全エッジ カバレッジとも呼ばれます。
分岐カバレッジは、特定のアクションが許可されていないケースをテストするのに適しています。これは、テスト ケースがアクションを決定する条件のすべての可能な結果を​​カバーしていることを検証できるためです。たとえば、プログラムに製造段階を停止できるかどうかをチェックする条件がある場合、分岐カバレッジは、段階を停止できる場合と停止できない場合の両方をテスト ケースがカバーしていることを確認できます。このように、分岐カバレッジは、望ましくないアクションや安全でないアクションにつながる可能性のある、不足している分岐や間違った分岐を特定するのに役立ちます。
その他のオプションは、特定のアクションが許可されていないケースをテストするのに適していないため、正しくありません。コード カバレッジは、ステートメント カバレッジ、分岐カバレッジ、データ フロー カバレッジなど、さまざまな種類のカバレッジ メトリックを網羅する一般的な用語です。コード カバレッジでは、分析に使用するカバレッジ メトリックの種類は指定されません。データ フロー カバレッジは、テスト ケースによって実行されるデータ フロー パスの割合を測定する構造カバレッジ メトリックの一種です。データ フロー パスは、変数を定義、使用、または削除する一連のステートメントです。データ フロー カバレッジは、ソフトウェアのデータ操作の正確性と完全性をテストするのに役立ちますが、アクションを決定する条件をテストするのには役立ちません。ステートメント カバレッジは、テスト ケースによって実行されるステートメントまたはコード行の割合を測定する構造カバレッジ メトリックの一種です。ステートメント カバレッジは、各ステートメントがテスト ケースによって少なくとも 1 回実行されることを保証しますが、さまざまなシナリオでのソフトウェアの動作を明らかにするものではありません。ステートメント カバレッジは、コード内の分岐または決定結果を考慮しないため、分岐カバレッジよりも弱い基準です。参考資料 = ISTQB Certified Tester Foundation Level (CTFL) v4.0 シラバス、第 4 章: テスト手法、セクション 4.3: 構造テスト手法、51 ～ 54 ページ。