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

新年度に入ってから、電車事故が多い気がする。

==

どんな単体テストをしますか？では、ブラックボックステストの観点でテストケース・テスト条件を洗い出してみた。

今度はホワイトボックステストの観点で考えてみよう。

元の記事はこちら（自動で単体テスト、ステートメントカバレッジ、そしてテストケースレビュー）なので、ご参考までに。

• ホワイトボックステストの観点

まずはコード。西暦、月、日を指定することで元旦からの日数を計算する関数。


30：int
31：daycount(
32：　　　　int year,
33：　　　　int month,
34：　　　　int day )
35：{
36：　　　　int　　　　 i = 0;
37：　　　　int　　　　 count = 0;
38：　　　　int　　　　 mday = 0;
39：
40：　　　　if( year < 1900 || year > 2100
41：　　　　|| month <= 0 || month >= 13
42：　　　　|| day <= 0 || day >= 32 ){
43：　　　　　　　　return(-1);
44：　　　　}
45：
46：　　　　count = 0;
47：　　　　for(i = 1; i < month + 1; i++){
48：　　　　　　　　switch(i){
49：　　　　　　　　case 4: case 6: case 9: case 11:
50：　　　　　　　　　　　　mday = 30; break;
51：　　　　　　　　case 1: case 3: case 5: case 7: case 8: case 10: case 12:
52：　　　　　　　　　　　　mday = 31; break;
53：　　　　　　　　case 2:
54：　　　　　　　　　　　　if( (year % 4 == 0) && (year % 100 != 0 || year % 400 == 0) ){
55：　　　　　　　　　　　　　　　　mday = 29;
56：　　　　　　　　　　　　}
57：　　　　　　　　　　　　else{
58：　　　　　　　　　　　　　　　　mday = 28;
59：　　　　　　　　　　　　}
60：　　　　　　　　　　　　break;
61：　　　　　　　　default:
62：　　　　　　　　　　　　return(-1);
63：　　　　　　　　}
64：
65：　　　　　　　　if( i == month ){
66：　　　　　　　　　　　　if( day > mday ){
67：　　　　　　　　　　　　　　　　return(-1);
68：　　　　　　　　　　　　}
69：　　　　　　　　　　　　else{
70：　　　　　　　　　　　　　　　　count += day;
71：　　　　　　　　　　　　}
72：　　　　　　　　}
73：　　　　　　　　else{
74：　　　　　　　　　　　　count += mday;
75：　　　　　　　　}
76：　　　　}
77：
78：　　　　return(count);
79： }

ホワイトボックステストではカバレッジを基準にすることが多い。ステートメントカバレッジ、ブランチカバレッジ、コンディションカバレッジなどなど。組織やプロジェクトチーム内でどのカバレッジレベルを採用するかが決まっている場合はそれに従うのもいい。でも、最低限ステートメントカバレッジは抑えたい。テスト（実施）カバレッジについてはここを参照。（俗称として、「C0」「C1」「C2」などと呼ばれることがある。）とりあえず、ステートメントカバレッジを基準にしてみるか。

まずは、最初の「引数チェック」の箇所。これはif文を分岐として2種類が考えられる。


次に月に関するfor文内の処理。ここで少し複雑だが、switch文やif文で複数のブランチが考えられるが、テスト設計者の主観によっては、全ての月の条件（1月～12月）と、うるう年条件（平年、うるう年、100年後との平年、400年後とのうるう年）も網羅すべきだと考える場合もある。


これらを組み合わせて、全ての命令文・手続きを実行するようなテストケース・テスト条件表を作成すると、こんな感じになるだろうか。


結構、テストケースが少ない。これだけじゃテストしたという自信はないな。ホワイトボックステストってもしかしたら、コード構成によっては威力を発揮できないこともあるのかしら？