エンベデッドシステムスペシャリスト 2018年 午前2 問22

条件網羅【午前2解説】

正解の理由

解法ステップ

1. ホワイトボックステストは、プログラム内部の構造や条件に着目するテストだと確認します。
2. 選択肢のうち、内部の条件の判定結果を確認する技法を探します。
3. 個々の条件を真・偽の両方で評価する「条件網羅」が該当します。

選択肢別の誤答解説

• ア：原因-結果グラフ
  入力条件と出力結果の関係を整理し、テストケースを設計する技法です。主に仕様や外部から観察できる振る舞いに着目します。
• イ：限界値分析
  入力値の境界やその近傍で誤りが発生しやすいことを利用する技法です。主にブラックボックステストで用います。
• ウ：条件網羅
  判定式に含まれる個々の条件を真と偽の両方で評価します。内部の条件に着目するため、ホワイトボックステストの技法です。
• エ：同値分割
  入力値を、同じように処理されると考えられるグループに分け、各グループの代表値をテストする技法です。主にブラックボックステストで用います。

よくある誤解

• 条件網羅を、判定式全体が真と偽になることを確認する技法だと考えてしまうことがあります。条件網羅では、判定式を構成する個々の条件が真と偽の両方になるかを確認します。
• 「テストケースを設計する技法」はすべてブラックボックステストだと思い込むことがあります。ホワイトボックステストには、条件網羅や命令網羅などの技法があります。
• 限界値分析や同値分割もプログラムの動作をテストするため、ホワイトボックステストだと混同することがあります。これらは主に、入力と出力の仕様に着目する技法です。

補足コラム

FAQ