软件测试第三次作业

（a）如图

 

 

（b）

 Answer：将MAXPRIMES设置为4时，t2会发生数组越界错误，但t1不会发生错误。

（c）

Answer：当n=1时，会通过numPrimes>=直接从上图的2节点跳转到12节点，不经过while循环体内部。

（d）

Answer：

点覆盖：{1，2，3，4，5，6，7，8，9，10，11，12，13，14，15，16}

边覆盖：{（1，2），（2，3），（3，4），（4，5），（5，6），（6，8），（8，5），（6，7），（7，9），（5，9），（9，10），（9，11），（10，11），（11，2），（2，12），（12，13），（13，14），（14，15），（15，13），（13，16）}

主路径覆盖：{（1，2，3，4，5，6，8），（1，2，3，4，5，6，7，9，10，11），（1，2，3，4，5，6，7，9，11），（1，2，3，4，5，9，11），（1，2，3，4，5，9，10，11），（5，6，8，5），（6，8，5，6），（8，5，6，8），（8，5，6，7，9，11），（8，5，6，7，9，10，11），（1，2，12，13，16），（1，2，12，13，14，15），（13，14，15，13），（14，15，13，14），（15，13，14，15），（14，15，13，16），（15，13，16）}