C言語のSWITCH文における命令網羅(C0)の考え方

Question

下記のC言語の単体テストに関する問題の解答の意味がわからず、質問させていただきました。
特にSWITCH文における命令網羅(C0)の考え方がわからず、困っております。
※前後の問題文と繋がっておりますので、一部未定義の関数や値がございます。

【問題内容】
次に示す関数において、命令網羅(C0)のカバレッジ基準を満たす最小のテストケースはそれぞれいくつか

【コード】

typedef short            s2 ;
typedef unsigned long    u4 ;

int main (u4 err_event)
{
      S2 s2_err_ret, s2_dust_ret, s2_send_ret;
      switch((U4)u4_err_event)
      {
      case sensor_err_1
      case sensor_err_2
         s2_err_ret = unit_sensor_error(ON);
         if(s2_err_ret != (S2)RET_OK)
         {
         return(RET_NG);
         }
         break;

      case dust_err_1
      case dust_err_2
         s2_dust_ret = unit_dust_error(ON);
         if(s2_dust_ret != (S2)RET_OK)
         {
         return(RET_NG);
         }
         break;
      default:
         return(RET_NG);
   }
   s2_send_ret = unit_send_error(u4 err_event);
   if (s2_send_ret !=(S2)RET_OK)
   {
      return(RET_NG);
   }
   return(RET_OK);
}

【解答】
5パターン

【解答の理由】
命令網羅の場合、すべての命令文を実行する必要があり、下記の5パターン
①switch-case文の1つ目の分岐を通り、 unit_sensor_errorがOK、unit_send_errorがNGとなる場合
②switch-case文の1つ目の分岐を通り、 unit_sensor_errorがNGとなる場合
③switch-case文の2つ目の分岐を通り、 unit_dust_errorがOK、unit_send_errorがNGとなる場合
④switch-case文の2つ目の分岐を通り、unit_dust_errorがNGとなる場合
⑤switch-case文のdefaultを通る場合

【疑問】
上記解答では、例えば①と②ではそれぞれunit_sensor_errorがOKとNGになる場合をそれぞれ考慮していますが、これだと命令網羅ではなく、分岐網羅の考えになってしまうのではと思っています。

私の考えでは、① if(s2_err_ret != (S2)RET_OK)とif (s2_send_ret !=(S2)RET_OK)を通る場合
②if(s2_dust_ret != (S2)RET_OK)とif (s2_send_ret !=(S2)RET_OK)を通る場合
の2パターンで命令網羅できているのではと思っています。

switch文の命令網羅の問題は初見でしたので、何か特別な考え方があるのかと思い、ご質問させていただきました。ご回答宜しくお願い致します。

Answer 1

2 択と合流を繰り返すなら命令網羅は 2 パターンで済むでしょうが、2 択して一方は合流してももう一方が他に行くなら、その場合を別パターンとするでしょう。

そも、なんと呼ぼうが途中で return することも含めてテストしないといけないはずです。「ある場合に return するかテストしていませんでした」って網羅とは言えないでしょう。

Comments

[crmy]

ありがとうございます。上記回答で5パターンの回答が納得できました。

Answer 2

「どの命令も1度は実行される」であれば、return が5つあって、1つのケースで複数のreturnが実行されることはないので、return だけ見ても少なくとも5ケース必要なのでは？

「returnは命令ではない」という解釈なのですかね？returnの返値がリテラルだからですか？
返値に関数呼び出しが書いてあったら違う考えに変わりますか？

Comments

[crmy]

おっしゃるとおり、returnは命令文とは考えずに回答してしまっていましたが、ご回答の通り、命令文と考えるべきですね。回答ありがとうございました。

[otn]

returnも全部実行しないと、return x[1]; と書くべき所を return x[0];と書いていたというようなミスを発見できません。
テストは「どういうたぐいのミスを発見するテストなのか？」を意識して計画・実施しないと駄目です。

まあ、これは「命令網羅」という単語の意味を知っているかを東問題でしょうね。
実際に「命令網羅」で単体テスト終わりとするシステムとかあるんですかね？