软件测试：主路径覆盖

1.控制流图

 

2.使MAXPRIMES == 4时，n=5会引发越界

 

3.令n= 1，不满足numPrimes<n,所以不通过while的循环

 

4.

点覆盖{1，2，3，4，5，6，7，8，9，10，11，12，13，14，15，16}

5.

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

主路径覆盖{（1,2,3,4,5,6,7）， （1,2,3,4,5,6,8,9,11），   （1,2,3,4,5,9,11），（1,2,3,4,5,6,8,9,10,11）  , （1,2,3,4,5,9,10,11），   （1,2,12,13,14,15），   （1,2,12,13,16），   （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,10,11,2,12,13,14,15），   （3,4,5,6,8,9,11,2,12,13,16），     （3,4,5,9,11,2,12,13,14,15），   （3,4,5,9,10,11,2,12,13,14,15）， （3,4,5,9,11,2,12,13,16），   （3,4,5,9,10,11,2,12,13,16），   （6,7,5,9,11,2,12,13,14,15），   （6,7,5,9,10,11,2,12,13,14,15），  （6,7,5,9,11,2,12,13,16），  （6,7,5,9,10,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）}