software homework3

1. 控制流图：

2. 当MAXPRIMES = 4 时，t1 不能查出错误而t2则会发生数组越界错误。

3. 当t3=（n=1）时不经过while循环体。

4.    点覆盖

　　{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16}

　　边覆盖

　　{(1.2),(2,3),(3,4),(4,5),(5,6),(6,7),(7,5),(6,8),(8,9),(9,10),(9,11),(10,2),(11,2),(2,12),(12,13),(13,14),(14,15),(15,13),(13,16)}

　　主路径覆盖

　　{(1,2,3,4,5,6,7),

　　(1,2,3,4,5,9,10),

　　(1,2,3,4,5,9,11),

　　(1,2,3,4,5,6,8,9,10),

　　(1,2,3,4,5,6,8,9,11),

　　(1,2,12,13,16),

　　(1,2,12,13,14,15),

　　(3,4,5,6,8,9,10,2,12,13,14,15),

　　(3,4,5,6,8,9,10,2,12,13,16),

　　(3,4,5,9,10,2,12,13,14,15),

　　(3,4,5,9,11,2,12,13,14,15),

　　(3,4,5,9,10,2,12,13,16),

　　(3,4,5,9,10,2,12,13,16),

　　(3,4,5,6,8,9,11,2,12,13,14,15),

　　(3,4,5,6,8,9,11,2,12,13,16),

　　(6,7,5,9,10,2,12,13,14,15),

　　(6,7,5,9,10,2,12,13,16),

　　(6,7,5,9,11,2,12,13,14,15),

　　(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,2),

　　(2,3,4,5,6,8,9,11,2),

　　(2,3,4,5,9,10,2)

　　(2,3,4,5,9,11,2)}