平成25年度 秋期 午前 問49
開発技術
条件網羅を満たすテストデータの組
流れ図において,分岐網羅を満たし,かつ,条件網羅を満たすテストデータの組はどれか。
〔流れ図〕
│
┌─────┴──────┐
│ 0 → a │
│ 0 → b │
└─────┬──────┘
╱─────┴──────╲ Yes ┌──────────┐
⟨ x ≧ 1 or y = 1 ⟩─────│ 1 → a │
╲─────┬──────╱ └─────┬────┘
│ No │
├◀────────────────────┘
╱─────┴──────╲ Yes ┌──────────┐
⟨ y > 1 ⟩─────│ 1 → b │
╲─────┬──────╱ └─────┬────┘
│ No │
├◀────────────────────┘
│
| 入力(テストデータ)の組 x,y / 上から順に | |
|---|---|
| ア | 2,2 / 1,2 |
| イ | 1,2 / 0,0 |
| ウ | 1,2 / 1,1 / 0,1 |
| エ | 1,2 / 0,1 / 0,2 |
- ア2,2 / 1,2
- イ1,2 / 0,0
- ウ1,2 / 1,1 / 0,1
- エ1,2 / 0,1 / 0,2
答えと解説を見る
✓ これが正解エ1,2 / 0,1 / 0,2
解説
判定の真偽と条件の真偽を両方そろえます。
設問は、流れ図について分岐網羅を満たし、かつ条件網羅も満たすテストデータの組を選ばせています。まず二つの語を区別します。分岐網羅は判定そのものが真になる場合と偽になる場合の両方を通すこと、条件網羅は判定の中に含まれる個々の条件が真になる場合と偽になる場合の両方を作ることです。この流れ図には判定が二つあり、前の判定は二つの条件を組み合わせたもの、後の判定は一つの条件だけでできています。したがってそろえるべき欄は、判定二つ分の真偽と、条件三つ分の真偽になります。正解の組では三つのデータを順に当てると、前の判定が真、真、偽となり、後の判定が真、偽、真となって、どちらも両方の側がそろいます。条件の側も、一つ目が真、偽、偽、二つ目が偽、真、偽、三つ目が真、偽、真となり、六つの欄がすべて埋まります。よって、この三つ組が当てはまります。なお代入の部分は判定に関わらないので、追う必要はありません。
ほかの選択肢はなぜ違うのか
- ア2,2 / 1,2:二つのデータはどちらも変数xが1以上になっており、その条件が偽になる場合を作れていません。前の判定も真の側しか通らないため、二つの基準のどちらにも届いていない組になります。
- イ1,2 / 0,0:前の判定は真と偽の両方を通るので、片方の基準は満たします。ただし変数yが1に等しくなる場合が一度もなく、その条件の真の側が空欄のまま残るため、もう片方の基準を欠きます。
- ウ1,2 / 1,1 / 0,1:三つの条件はいずれも真と偽の両方をそろえていますが、前の判定が三回とも真になってしまいます。判定が偽になる道を一度も通らないので、判定の側を見る基準のほうが満たされません。
この問題の用語
- テスト決めたとおりに動くかを、実際に動かして確かめる作業のこと。何を確かめるかによって移行テスト、システムテストなどと呼び分けます。
出典:平成25年度 秋期 応用情報技術者試験 午前 問49
この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する(メールが開きます)