ここでは、Glenford J Myers『ソフトウェア・テストの技法』(近代科学社、1980)の記載を元にした、次の仕様の三角形判定プログラムをテストする手順を取り上げます1。
プログラムtriangleは、整数をあらわす3つの引数をとる。この3つの値は、それぞれ三角形の3辺の長さをあらわすものとする。プログラムは、三角形が不等辺三角形の場合は‘scalene triangle’、二等辺三角形の場合は‘isosceles triangle’、正三角形の場合は‘equilateral triangle’を印字する。
この三角形判定プログラムの動作を検証するには、次のテスト・ケースが必要です2。
- 有効な不等辺三角形をあらわすテスト・ケース
- 有効な正三角形をあらわすテスト・ケース
- 有効な二等辺三角形をあらわすテスト・ケース
- 有効な二等辺三角形で2つの等辺を含む3種類の組合せすべてをためすことができる3つのテスト・ケース
- 1つの辺がゼロの値をもつテスト・ケース
- 1つの辺が負の値をしめすテスト・ケース
- ゼロより大きい3つの整数をもち、そのうち2つの和がそれ以外の1つと等しいようなテスト・ケース
- 1辺の長さが他の2辺の長さの和に等しいことを3種類の順列のすべてに対してためすことのできるテスト・ケース
- ゼロより大きな3つの整数のうち、2つの数の和がそれ以外の1つの数より小さくなるテスト・ケース
- ゼロより大きな3つの整数のうち、2つの数の和がそれ以外の1つの数より小さくなることにおいて、3種類の順列すべてを考慮することのできるテスト・ケース
- すべての辺がゼロであるテスト・ケース
- 整数でない値をもつテスト・ケース
- 数値の個数が間違っていることをためすテスト・ケース
三角形判定プログラムは、サンプルとして用意されているものを準備するか、または自作してください。
準備ができたら、Autotest.mkを使った次の手順でテストを実行できます。