[软件测试]

a)控制流程图

b)把程序中MAXPRIMES设置小一点，使得当我们运行 t1 的时候不会发生数组越界错误，运行 t2 发生数组越界错误 
c)n = 0 或 n = 1

(d)
节点覆盖：
TR={1,2,3,4,5,6,7,8,9,10,11,12,13}


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


主路径覆盖：

TR={

[1,2,3,4,5,6],

[1,2,3,4,5,7,8,9],

[1,2,3,4,8,9],

[1,2,10,11,12],

[1,2,10,11,13],

[2,3,4,5,7,8,2],

[2,3,4,5,7,8,9,2],

[2,3,4,8,2],

[2,3,4,8,9,2],

[3,4,5,7,8,2,10,11,12],

[3,4,5,7,8,2,10,11,13],

[3,4,5,7,8,9,2,10,11,12],

[3,4,5,7,8,9,2,10,11,13],

[3,4,8,2,10,11,12],

[3,4,8,2,10,11,13],

[3,4,8,9,2,10,11,12],

[3,4,8,9,2,10,11,13],

[4,5,6,4],

[11,12,11],

[12,11,13]

}

程序代码：

测试代码：

测试结果：

本文Github源码下载

P.S. 文章不妥之处还望指正