ST-4

1、(49-7)使用下面的方法printPrimes()完成后面的问题：

(a)为printPrimes()方法画控制流图。

(b)考虑测试用例t1=(n=3)和t2=(n=5)。即使这些测试用例游历printPrimes()方法中的主路径，它们不一定找出相同的错误。设计一个简单的错误，使t2比t1更容易发现。

对于数组越界问题，t2比t1更容易发现

(c)针对printPrimes()，找到一个测试用例，使得相应的测试路径访问连接while语句开始到for语句的边，而不通过while循环体。

测试用例t = (n = 1)满足条件。

(d)针对printPrimes()的图列举出每个节点覆盖、边覆盖、和主路径覆盖的测试需求。

点覆盖：tr1 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}

边覆盖：tr2 = {(1,2), (2,3), (3,4), (4,5), (5,6), (6,4), (4,8), (5,7), (7,8), (8,9), (9,2), (8,2), (2,10), (10,11), (11,12), (12,11), (11,13)}

主路径覆盖：tr3 = {(11,12,11), (12,11,12), (4,5,6,4), (5,4,6,5),(6,4,5,6), (2,3,4,5,6,7,8,9,2), (2,3,4,8),

(1,2,3,4,5,6,7,8,9), (1,2,10,11,12), (1,2,10,11,13) }

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

 package com.prime;

 import static org.junit.Assert.*;

 import java.io.ByteArrayOutputStream;
 import java.io.PrintStream;

 import org.junit.After;
 import org.junit.AfterClass;
 import org.junit.Before;
 import org.junit.BeforeClass;
 import org.junit.Test;

 public class testNumPrime {
     PrintStream console = null;
     ByteArrayOutputStream bytes = null;
     numPrime np;

     @Before
     public void setUp() throws Exception {
         np = new numPrime();
         bytes = new ByteArrayOutputStream();
         console = System.out;

         System.setOut(new PrintStream(bytes));
     }

     @After
     public void tearDown() throws Exception {
         System.setOut(console);
     }

     @Test
     public void test1() {
         np.printPrimes(1);
         assertEquals("2 ", bytes.toString());
     }
     @Test
     public void test2() {
         np.printPrimes(3);
         assertEquals("2 3 5 ", bytes.toString());
     }
     @Test
     public void test3() {
         np.printPrimes(5);
         assertEquals("2 3 5 7 11 ", bytes.toString());
     }
 }

测试结果为：

实现了主路径覆盖。