软件测试作业4

1、

2、

一个最直观的错误就是数组越界，n取的值越大，数组越界就越有可能发生

3、当n=1时候满足

第四问要求找出点覆盖、边覆盖和主路径覆盖的所有TR（测试需求）

点覆盖：{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），（6,7），（6,8），（7,5），（8,9），（5,9），（9,10），（9,11），（10,11），（11,2），（12,13），（13,14），（14,15），（15,13），（13,16）}

主路径覆盖：{（1,2,3,4,5,6,7），

（1,2,3,4,5,6,8,9,10,11），

（1,2,3,4,5,6,8,9,11），

（1,2,3,4,5,9,10,11），

（1,2,3,4,5,9,11），

（1,2,12,13,14,15），

（1,2,12,16），

（3,4,5,6,8,9,10,11,2,12,13,14,15），

（3,4,5,6,8,9,11,2,12,13,14,15），

（3,4,5,6,8,9,10,11,2,12,13,16），

（3,4,5,6,8,9,11,2,12,13,16），

（3,4,5,9,10,11,2,12,13,14,15），

（3,4,5,9,11,2,12,13,14,15），

（3,4,5,9,10,11,2,12,13,16），

（3,4,5,9,11,2,12,13,16），

（6,7,5,9,10,11,2,12,13,14,15），

（6,7,5,9,11,2,12,13,14,15），

（6,7,5,9,10,11,2,12,13,16），

（6,7,5,9,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），

}

最后，对任意程序设计主路径覆盖的测试用例，以上次的判断三角形的形状的程序为例

package cn.tju.st;

public class Triangle {
    public int a;
    public int b;
    public int c;
    public Triangle(int a,int b,int c)
    {
        this.a=a;
        this.b=b;
        this.c=c;
    }
    public String judge() {
        if(a==b&&b==c)
            return "equilateral";
        else if(a==b||b==c||c==a)
            return "isosceles";
        else {
            return "scalene";
        }
    }
}

package cn.tju.st;

import static org.junit.Assert.*;

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


public class TestTriangle {
    Triangle tri =null;
    @Before
    public void setUp() throws Exception {
        //System.out.println("This is before test");
    }

    @After
    public void tearDown() throws Exception {
        System.out.println("This is after test");
    }

    @Test
    public void test() {
        tri = new Triangle(3,3,3);
        assertEquals("equilateral",tri.judge());
        tri = new Triangle(2,3,3);
        assertEquals("isosceles",tri.judge());
        tri = new Triangle(3,4,5);
        assertEquals("scalene",tri.judge());
    }

}

三组测试用例（3,3,3），（2,3,3），（3,4,5）即可完成主路径覆盖