Software testing: Master path overrides

1. Control Flow Graph

2. Make maxprimes = = 4 o'clock, n=5 will trigger a cross-border

3. Make n= 1, do not satisfy numprimes<n, so do not pass the while loop

4.

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

5.

Side overrides {(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)}

The main path overrides {(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,1 4,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)}

Software testing: Master path overrides