软件测试HW3 主路径覆盖测试

题目代码如下

/******************************************************* 
     * 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 (isDivisible(primes[i], curPrime)) 
                { // 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) 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测试出现数组越界错误。

 

(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 即可。

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

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

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

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

设计主路径覆盖

在上一篇的Lab1中的实验代码已经实现完全覆盖

Tri.java

package test1;

public class Tri {
    public static String isTri(double a,double b,double c)
    {
        if (b >= a && b >= c)
        {
            double temp = b;
            b = a;
            a = temp;
            
        }
        if (c >= a && c >= b)
        {
            double temp = c;
            c = a;
            a = temp;            
        }
        if (b + c <= a)
            return "不能构成三角形";
        if (a == b && b == c)
            return "等边三角形";
        if (a == b || b == c || a == c)
        {
            return "等腰三角形";
        }
            
        if (a * a == b * b + c * c)
            return "直角三角形";
        return "不规则三角形";
    }
}

TriTest.java

package test1;

import static org.junit.Assert.*;

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

public class TriTest {

    @BeforeClass
    public static void setUpBeforeClass() throws Exception {
    }

    @AfterClass
    public static void tearDownAfterClass() throws Exception {
    }

    @Before
    public void setUp() throws Exception {
    }

    @After
    public void tearDown() throws Exception {
    }

    @Test
    public void test() {
        Tri tri = new Tri();
        assertEquals("等边三角形",tri.isTri(1, 1, 1));
        assertEquals("不是三角形",tri.isTri(0, 1, 2));
        assertEquals("直角三角形",tri.isTri(3, 4, 5));
        assertEquals("等腰三角形",tri.isTri(3, 3, 5));
        assertEquals("一般三角形",tri.isTri(4, 6, 7));
    }

}

测试结果