どんな単体テストをしますか？

自動で単体テスト、ステートメントカバレッジ、そしてテストケースレビューで、適当な関数を作って、適当な単体テストの条件を作ってみた。この中で「指定日が元旦から何日目かを返答する関数（daycount）」についてもう少しきちんとテストしてみようかと。

==

• ブラックボックステストの観点

ブラックボックステストなので、基本的には「指定日が元旦からの日数」が正しく計算できるか、という仕様からテストケース・テスト条件を洗い出す。でもまずは関数インターフェースを眺めてみる。


int daycount( int year, int month, int day );


引数は、



1. year（西暦）


2. month（月）


3. day（日）



の3つ。西暦はここでは「1900年～2100年」という範囲に限定する、という（かくれ）仕様。月は「1月～12月」、日は「1日～31日」である。これは自明な仕様とでもいうのだろうか。ただし、不明確な仕様として「その月に存在しない日を指定した場合の動作」を確認しなくてはならない。ここでの仕様は「エラー」である。（9月の場合、31日を指定するとエラーとなる、など）

最近の僕の場合、ここで大分類として




1. 引数エラーケース


2. 内部エラーケース


3. 正常ケース



というように考えている。

引数エラーケースは、3引数の引数を原因結果グラフ・デシジョンテーブルで考えることが多い。

西暦のエラー値は、「-1」「0」「1899」「2101」あたりが妥当かな。int型の最小値、最大値は、別にいらないだろう。月のエラー値は、「-1」「0」「13」あたりかな。日のエラー値は「-1」「0」「32」としましょうか。

そして、3つともエラー値ではない場合は、さらに「内部エラーケース」「正常ケース」で考えてみる。

内部エラーケースは、月と日の不整合だろう。大の月（1月、3月、5月、7月、8月、10月、12月）は31日まであるので、引数エラーケース以外での不整合はなさそう。小の月（4月、6月、9月、11月）は30日なので、日が31日の場合に不整合が発生する。2月はややこしいが、西暦がうるう年ではない場合は、29日、30日、31日が不整合となるパターン。うるう年の場合は、30日、31日が不整合となるパターン。

正常ケースは、どうする？（1月、6月、12月）と（1日、15日、晦日）くらいでいいのかな。

まとめてみると、、、




あってるかなあ。

ホワイトボックステストの観点、グレーボックステストの観点は、また今度書きたい。忘れなかったら。