テスト設計と網羅基準

テスト設計とは、限られた回数のテストで欠陥を効率よく見つけるために、テストケースを系統立てて導く作業である。網羅基準は、設計したテストケースがプログラムのどの部分を実行したかを測る尺度であり、その基準をどこまで満たしたかによって、テストの十分さを判断する。

網羅基準の階層と意味

代表的な網羅基準には、命令網羅、分岐網羅、条件網羅などがある。命令網羅はすべての命令を少なくとも一度実行することを求め、分岐網羅は流れ図の判定ごとに真と偽の両方の分岐を通ることを求める。分岐網羅では、判定の真偽の組合せをテストケースで実現しなければならない。 一般に分岐網羅は命令網羅より厳しい基準であり、分岐を通す範囲を広げるほど、テストで確認できるプログラムの範囲も広がる。

最少のテストケース数を求める考え方

最少のテストケース数は、一つのテストケースで複数の判定の分岐を同時に通せるかどうかで決まる。二つの連続する判定について、両方が真になる入力と両方が偽になる入力を選べば、四つの分岐を二つのテストケースで覆うことができる。判定ごとに別々のケースを用意すると、冗長なケースが増えて最少の要件を満たさなくなる。

命令網羅の場合も考え方は同じである。判定の分岐に含まれる命令は、一つのテストケースで各分岐から一つずつ通れるため、異なる判定の分岐は同じテストケースで同時に通れる。必要なケース数は、判定ごとの命令数のうち最も多いものに合わせて決まり、命令数を単純に足し合わせると必要以上に多くのケースになる。

判断の基準と数値

網羅基準の数値を正しく扱うことも重要である。三つの二値のデータ項目から任意に二つを選んだとき、その二つがとる状態の組合せがすべて同じ回数ずつ現れる基準では、テストケースの件数は4の倍数でなければならない。4件の直交表では、任意の2項目について四つの組合せがそれぞれ1回ずつ現れるため、最少で4件を採択すればよい。 2件では全組合せを網羅できず、3件や6件では同一回数ずつの出現を実現できない。