(a).控制流图:
(b)保存素数的数组长度为3时。t2=(n=5)会超出数组范围,而t1=(n=3)不会
(c)n=0
(d)
节点覆盖{1,2,3,4,5,6,8,5,6,7,9,10,3,11,12,13,12,14}
边覆盖{(1,2),(2,3),(3,4),(4,5),(5,6),(6,8),(8,5),(6,7),(7,9),(9,10),(10,3),(3,11),(11, 12),(12,13),(13,14)}
主路径:{1,2,3,4,11,12,14}