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）即可完成主路径覆盖