一．Use the following method printPrimes() for questions a–d.

　　(a) Draw the control flow graph for the printPrimes() method.

　　

　　　(b) Considertestcasest1=(n=3)andt2=(n=5).Although these tourthe same prime paths in printPrimes(), they do not necessarily find 　　　　　the same faults.Designasimplefaultthat t2 would bemorelikelytodiscover than t1 would.

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

　　   

　　　(c) For printPrimes(), find a test case such that the corresponding test path visits the edge that connects the beginning of the while 　　　　   statement to the for statement without going through the body of the while loop.

 　　　　当n = 1时，运行时会从第2个节点直接跳转到第12个节点，不经过while语句的循环体

　　　

　　　(d) Enumerate the test requirements for node coverage, edge coverage, and prime path coverage for the graph for printPrimes().

 　　　　Node Coverage:{1 , 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}

　　　　 Edge Coverage:{（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）}

　　　　 MPC：{（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）}

二．基于Junit及Eclemma（jacoco）实现一个主路径覆盖的测试。

　　测试代码：

package test;public class test {    void printPrimes(int n){        int curPrime;        int numPrimes;        boolean isPrime;        int [] primes = new int [43];        primes[0]=2;        numPrimes = 1;        curPrime = 2;        while ( numPrimes < n)        {            curPrime ++ ;            isPrime = true;            for ( int i = 0 ; i <= numPrimes-1 ;i++){                if (isDivisible(primes[i],curPrime))                {                    isPrime = false;                    break ;                }            }            if (isPrime){                primes[numPrimes] = curPrime ;                numPrimes ++ ;                            }        }                for (int i = 0 ; i <= numPrimes -1 ; i++ )        {            System.out.println("Prime: " + primes[i]);        }            }    boolean isDivisible(int i, int curPrime) {        if ( curPrime % i == 0 )            return true;        return false;    }}

　　

package test;import static org.junit.Assert.*;import org.junit.Before;import org.junit.Test;public class testTest {    private test t= null;    @Before    public void setUp() throws Exception {        t = new test ();    }    @Test    public void test() {        t.printPrimes(0);        t.printPrimes(3);        t.printPrimes(5);    }}

　　测试结果:

　　

 使用EclEmma 进行覆盖测试：