ホワイトボックス試験のテスト項目

Question

###ホワイトボックス試験のテスト項目
C++で組み込みのソフトウェアを作っています。
作成しているコードに対して、ホワイトボックス試験でC1カバレッジ100%を指示されています。
C1カバレッジ100%を要求された場合、以下のようなループ処理内に条件分岐がある関数はどのような試験項目を挙げるべきでしょうか。

bool  
condition();

void  
target_func()  
{  
  for (int i = 0; i < 100; ++i){  
   if (true == condition())  
    /*何らかの処理*/  
   else  
    /*何らかの処理*/  
  }  
}  

「C1の定義としてはどういう試験項目になるのか」と「現場の現実解としての試験項目の上げ方」を教えてください。

###補足
・C1カバレッジ100%は、おそらく掛け声だけ(になると思う)なので回答の際はカバレッジはあまり気になさらないでください。
・単体試験の前任者には「担当者のやりやすいように試験項目をつくってよい」と言われているため、
最悪適当に試験項目を作ることはできます。コードが与えられたときの試験項目の上げ方にルールがないと気持ち悪いので質問しました。

Answer 1

「C1の定義としてはどういう試験項目になるのか」と「現場の現実解としての試験項目の上げ方」を教えてください。

カバレッジ100%と言う時点で、厳密に計測する気がないのは明らかなので、現実解という観点で。

1. まずカバレッジ100%であることを説明する、テストの役には立たない資料を作成します。ここでは、ソースコード中の if 文の分岐がいくつあるので、テスト項目をいくつ設けました、と「なんとなく数字でわかった気になる」「上司うけする」資料にします。
2. 実際のテストは「テスターとしての経験を動員して」バグを見つけられるような、カバレッジとか気にせず、ソースコードのホットスポットとなる部分を頑張ってテストします。

残念なことに、1. の作業が単純に増えるだけで、テストがよりよくなったりしませんが、仕方ないと諦めます。

「カバレッジ100%なのに、なぜこんなに品質が悪いんだ？」みたいなイチャモンをつけられやすくなるので、1. の作業時間は限界まで小さくして、カバレッジ100%を達成するためにテストの時間が余分にかかる、と説明しつつ、2.の作業時間を増やして下さい。

Comments

[Thrush]

回答有難うございます。
教えていただいた現実解でいくしかなさそうですね。
大変参考になりました。

Answer 2

厳密に言えば、条件分岐を全て網羅すべしがC１なので、ループ内の如何に関わらず、試験が必要です。
そもそも、ループ内での条件分岐は、脱出条件などが多いので、重要になるのではないでしょうか。
また、ループ内でそれ以外の条件分岐は本当にループ内である必要があるのかの検討が必要で、
ループの外に出しても意味が変わらない場合はリファクタリング対象になるでしょうし、やはり必要との
ことであれば、試験は必要ということにもなるかと。
さらに、ループ回数により条件が変わるのか否かは実装マターになりますが上記のようにループ内に
条件分岐が必要な場合、基本的にはループ回数により条件が変わるはずですので、ループ回数により
試験項目を決定するということになるのではないでしょうか。