開発技術
基本情報技術者試験｜プログラム中の変数に着目し、その変数が値を代入される箇所(定義)と参照される箇所(使用)の流れを追跡して、未定義…
プログラム中の変数に着目し、その変数が値を代入される箇所(定義)と参照される箇所(使用)の流れを追跡して、未定義のまま使用される、あるいは定義後に一度も使用されないといった異常を検出することを狙いとするテスト技法はどれか。
アデータフローテスト
イデシジョンテーブルテスト
ウ同値分割
エ原因結果グラフ法
正解
ア．データフローテスト
データフローテストは、変数への代入（定義）と参照（使用）の連鎖を制御フロー上で追跡し、定義せずに使用する（未定義使用）、定義後に使われない（未使用定義）、定義後に再定義され元の値が使われないといった異常パターンを検出する。設問の説明に正確に対応するホワイトボックス系技法である。
?選択肢ごとの解説
ア ○データフローテストは、変数への代入（定義）と参照（使用）の連鎖を制御フロー上で追跡し、定義せずに使用する（未定義使用）、定義後に使われない（未使用定義）、定義後に再定義され元の値が使われないといった異常パターンを検出する。設問の説明に正確に対応するホワイトボックス系技法である。
イ ×デシジョンテーブルテストは条件の組合せを表で整理する手法であり、変数の定義と使用の流れを追う技法ではない。
ウ ×同値分割は入力を同値クラスに分けて代表値でテストする手法で、変数のデータの流れを対象としない。
エ ×原因結果グラフ法は入力条件と出力の論理関係をモデル化する手法で、変数の定義使用の追跡を目的としない。
開発技術の他の問題
制御フローに基づく網羅基準である命令網羅・分岐網羅・複数条件網羅について、一般に弱い(満たしやすい)ものから強い(満たしにく…あるシステムの結合テスト以降の工程で、利用者向け仕様書に記載された機能が要求どおりに動作するかを、内部のソースコード構造によ…ソフトウェアのテストにおいて、プログラムの内部構造には着目せず、入力に対する出力が仕様どおりであるかを検証する手法を採用した…ソフトウェアテストの工程のうち、個々のモジュールを結合した状態で、モジュール間のインタフェースやデータの受渡しが正しく連携す…ホワイトボックステストの網羅基準のうち、判定条件(分岐)を構成する個々の単純条件それぞれについて真と偽の双方を少なくとも一度…判定文 if (A かつ B)…あるモジュールは全部で20個の実行可能命令から成る。設計したテストケース群を実行したところ、そのうち17個の命令が一度以上実…あるプログラムには分岐の方向（各判定の真・偽）が合計で10方向ある。設計したテストケースを実行した結果、そのうち真側が4方向…
この問題の「深掘り・誤答の完全解説・覚え方」は、登録すると読めます。
基本情報技術者試験は全4,036問。公開しているのはその一部で、登録すると残りも一問ごとにAI解説つきで解けます。SRS暗記カード・全真模試・弱点診断まで。
登録は1分・クレジットカード不要。無料のまま練習・暗記カード・模試まで使えます。
作成・校閲：ukamiru編集部 · 基本情報技術者試験 過去問 · fe-a2-0082