問５　ソフトウェアのテスト設計に関する次の記述を読んで，設問１〜３に答えよ。

　システムインテグレータの N 社は，開発したプログラムに対するバグの摘出漏れの削減を 目的として，テストの方法を見直している。

〔 N 社のテスト方法に関する説明〕

　N 社では主にホワイトボックス法の一つである制御フローテストで， 開発したプログラムのテストを実施している。

　制御フローテストは，プログラムを構成する最小単位である命令，経路，判定条件に着目し， テスト計画時に定めたカバレッジ基準を満たすテストケース，テストデータを作成して， 開発したプログラムの動作を確認するテスト方法である。

　カバレッジ基準としては，テストにおいて全ての命令文を１回は実行する命令網羅， 全ての分岐について分岐後の全ての経路を１回は実行する判定条件網羅（以下， 分岐網羅という）などがある。

　N 社は，カバレッジ基準として分岐網羅を採用している。

〔 N 社が採用している分岐網羅の判定条件に関する説明〕

　分岐の判定条件には，一つの条件だけを評価する単独条件と，二つ以上の単独条件を and 又は or で組み合わせて評価する複数条件がある。単独条件と複数条件の例を次に示す。

　　

　ここで，プログラムの実行時に，複数条件については短絡評価を行うものとする。 短絡評価とは，複数条件を構成する単独条件を左から右へ向かって順に評価し， 複数条件の結果が確定したら，残りの単独条件を評価しない方法である。 例えば，二つの単独条件を and で組み合わせた複数条件の場合，一つ目の単独条件を 評価した結果が偽ならば，複数条件は二つ目の単独条件に関係なく必ず儀になるので， 二つ目の単独条件を評価しない。

設問１　N 社が採用している分岐網羅の判定条件に関する次の記述中の に入れる正しい答えを，解答群の中から選べ。

　図１はテスト対象のプログラムの例，表１はこのプログラムのテストケースの 例である。N 社が採用している分岐網羅の判定条件に従って，このテストケースを 用いて，図１のプログラムをテストしたとき，テストケース�@では 結果となり， テストケース�Aでは， 結果となる。

図１　テスト対象のプログラムの例

表１　テストケースの例

基本情報技術者試験

　図２は，図１のテスト対象のプログラムの例にノード番号�@〜�Jを 付与したものであり，図３は，それに対応する制御フローグラフである。 図３のノード番号は，図２中のノード番号に対応する。図３のノード S とノード E は， それぞれプログラムの入口と出口を表す特別なノードであり，テスト対象のプログラムの 例には対応する処理はない。 図３の制御フローグラフ中の に入れる適切なノード番号を， 解答群の中から選べ。

図２　図１にノード番号を付与したプログラムの例

図３　図２のプログラムの例に対応する制御フローグラフ

基本情報技術者試験

　図１のプログラムのテストにおいて，N 社が採用している分岐網羅の場合， 最低限必要となるテストケースの数は である。

　これに対して，制御フローグラフから経路を抽出してテストケースを作成する方法がある。 制御フロ―グラフの全てのエッジとノードを網羅する，最小の経路の数（S）は， 次の式で求められる。

　図３の制御フローグラフから，S を求める となる。 N 社は，バグの摘出漏れの削減を目的として，制御フローグラフに基づくテストケースで プログラムのテストをすることとした。

g，h に関する解答群