软件测试第三次作业-覆盖测试

最新推荐文章于 2024-05-30 08:53:43 发布

weixin_30696427

最新推荐文章于 2024-05-30 08:53:43 发布

阅读量131

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/ideal233/p/6533098.html

本文介绍了一个用于打印指定数量质数的Java程序源代码，并详细分析了其控制流程图、节点覆盖、边覆盖及素路径覆盖等内容。通过具体示例说明了如何验证该程序的有效性和健壮性。

Source code of printPrimes(int n):

/******************************************************* 
     * Finds and prints n prime integers 
     * Jeff Offutt, Spring 2003 
     ******************************************************/ 
    public static String printPrimes (int n) 
    { 
        String list = new String();
        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

a) CFG:

Let MAXPRIMES = 4. Then if we use t1=(n=3) to test the program, we won’t find a fault. But if we use t2=(n=5) to test it, we will find a fault because of the overflow of the array(primes[]).

t=(n=1)

　　Node coverage={1,2,3,4,5,6,7,8,9,10,11,12,13}

　　Edge coverage={(1,2),(2,3),(2,4),(3,5),(4,11),(5,6),(5,9),(6,5),(6,8),(7,5),(8,9),(9,2),(9,10),

　　　　　　　　　　 (10,2),(11,12),(11,13),(12,11)}

Prime path coverage={(1 2 4 11 13),

　　　　　　　　　　　　　 (1 2 4 11 12)

(1 2 3 5 6 7)

(1 2 3 5 6 8 9 10)

(1 2 3 5 9 10)

(2 3 5 6 8 9 2)

(2 3 5 9 2)

(2 3 5 9 10 2)