软件测试 覆盖部分作业

题目代码如下：

/******************************************************* 
     * 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.控制流图如下：

b.设计一个t2=(n=5)比t1=(n=3)更容易发现的错误。容易想到数组越界，即当 MAXPRIMES = 3 or 4 时，t1正常通过，而t2会因越界而报错。

c.显然当 n = 1 时不会经过while循环。

d.找出所有点覆盖、边覆盖和主路径覆盖的TR。

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

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

主路径覆盖：{ (1,2,3,4,8,2,10,11,13), (1,2,3,4,8,2,10,11,12,11,13), (1,2,3,4,8,9,2,10,11,13), (1,2,3,4,8,9,2,10,11,12,11,13),

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

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

(2,3,4,5,6,8,9,2)... }

e.对上次的三角形判定程序设计主路径覆盖的测试用例。

//Triangle.java
import java.util.Arrays;

public class Triangle 
{
    public String check( String p, String q, String r )
    {
        int[] a = new int[3];
        a[0] = Integer.parseInt(p);
        a[1] = Integer.parseInt(q);
        a[2] = Integer.parseInt(r);
        Arrays.sort(a);
        if ( a[0] + a[1] > a[2] )
        {
            if ( a[0] == a[2] )
            {
                return "equilateral";
            }
            else
            {
                if ( a[0] == a[1] || a[1] == a[2] )
                {
                    return"isosceles";
                }
                else
                {
                    return "scalene";
                }
            }
        }
        else
        {
            return "not a triangle";
        }
    }
}

import static org.junit.Assert.*;
import java.util.Arrays;
import java.util.Collection;
import org.junit.Before;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameters;

@RunWith(Parameterized.class)
public class TriangleTest 
{
    private String p;
    private String q;
    private String r;
    private String expected;
    private Triangle tmp;
    
    public TriangleTest( String p, String q, String r, String expected )
    {
        this.p = p;
        this.q = q;
        this.r = r;
        this.expected = expected;
    }

    @Before
    public void setUp()
    {
        tmp = new Triangle();
    }
    
    @Parameters
    public static Collection<String[]> getData()
    {
        return Arrays.asList( new String[][]
        {
            { "3", "3", "3", "equilateral" },
            { "3", "4", "4", "isosceles" },
            { "3", "4", "5", "scalene" },
            { "3", "4", "7", "not a triangle" },
        });
    }

    @Test
    public void test() 
    {
        assertEquals( this.expected, tmp.check( p, q, r ) );
    }
}

测试用例见：@Parameters部分。

可见覆盖率达到了100%。