软件测试 HW4

　　本周的作业，是“软件测试基础”教材 ExerciseSection2.3 的课后习题。

　　题目要求，用下面的方法printPrimes()完成相应问题。 代码如下：

/*******************************************************
     * Finds and prints n prime integers
     * Jeff Offutt, Spring 2003
     ******************************************************/
    public static void printPrimes (int n)
    {
        int curPrime; // Value currently considered for primeness
        int numPrimes; // Number of primes found so far.
        boolean isPrime; // Is curPrime prime?
        int [] primes = new int [MAXPRIMES]; // The list of prime numbers. 

        // Initialize 2 into the list of primes.
        primes [0] = 2;
        numPrimes = 1;
        curPrime = 2;
        while (numPrimes < n)
        {
            curPrime++; // next number to consider ...
            isPrime = true;
            for (int i = 0; i <= numPrimes-1; i++)
            { // for each previous prime.
                if (curPrime%primes[i]==0)
                { // Found a divisor, curPrime is not prime.
                    isPrime = false;
                    break; // out of loop through primes.
                }
            }
            if (isPrime)
            { // save it!
                primes[numPrimes] = curPrime;
                numPrimes++;
            }
        } // End while 

        // Print all the primes out.
        for (int i = 0; i <= numPrimes-1; i++)
        {
            System.out.println ("Prime: " + primes[i]);
        }
    } // end printPrimes

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

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

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

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

首先，求解(a)。通过processon做出控制流图如下：

(b) 针对“数组越界”的错误，t2比t1更容易发现。

(c) 测试用例： n = 0 或 n = 1

(d) 点覆盖： 　　{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}

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

　　主路径覆盖:　{(1,2,3,4,5,6,7,9,10,11),

　　　　　　　　　 (1,2,3,4,5,6,7,9,11),

　　　　　　　　　 (1,2,3,4,5,6,8),

　　　　　　　　　 (1,2,3,4,5,9,10,11),

　　　　　　　　　 (1,2,3,4,5,9,11),

　　　　　　　　　 (1,2,12,13,14),

　　　　　　　　　 (1,2,12,13,15),

　　　　　　　　　 (2,3,4,5,6,7,9,10,11,2),

　　　　　　　　　 (2,3,4,5,6,7,9,11,2),

　　　　　　　　　 (2,3,4,5,9,10,11,2),

　　　　　　　　　 (2,3,4,5,9,11.2),

　　　　　　　　    (3,4,5,6,7,9,10,11,2,12,13,14),

　　　　　　　　    (3,4,5,6,7,9,11,2,12,13,14),

　　　　　　　　　 (3,4,5,6,7,9,10,11,2,12,13,15),

　　　　　　　　　 (3,4,5,6,7,9,11,2,12,13,15),

　　　　　　　　　 (3,4,5,9,10,11,2,12,13,14),

　　　　　　　　　 (3,4,5,9,11,2,12,13,14),

　　　　　　　　　 (3,4,5,9,10,11,2,12,13,15),

　　　　　　　　　 (3,4,5,9,11,2,12,13,15),

　　　　　　　　　 (5,6,8,5),

　　　　　　　　　 (6,8,5,9,10,11,2,12,13,14),

　　　　　　　　　 (6,8,5,9,10,11,2,12,13,15),

　　　　　　　　　 (6,8,5,9,11,2,12,13,14),

　　　　　　　　　 (6,8,5,9,11,2,12,13,15),

　 　　　　　　　　(13,14,13),

　　　　　　　　　 (14,13,15)}

现在，对具体代码进行分析。代码选择上次测试三角形实验的代码。

该例子中，测试用例为：

　　(1.0, 1.0, 4.0), (10.0, 10.0, 10.0), (5.0, 5.0, 6.0), (3.0, 4.0, 5.0)

代码覆盖率为100%，如图所示。

具体代码已上传github，链接：https://github.com/CindyZJT/lab1