Definition 3. Path Coverage Criteria. For a specified
function, test cases set T is adequate for function coverage only
if T covers all the paths from data source nodes to data terminal
nodes in the corresponding data flow graph G. Let PGdenotes
the set of all paths from data source nodes to data terminal
nodes in G, ║PG║denotes the number of the paths in PG. Let
Path(T) denotes the set of the covered paths by T, ║Path(T)║