In computer science, a control-flow graph (cfg) is a representation, using graph notation, of all paths that might be traversed through a program during its execution the control-flow graph is due to frances e allen, who notes that reese t prosser used boolean connectivity matrices for flow analysis before. Control flow graph path coverage. Data flow coverage software reliability and testing based on material by professor lori a clarke, university of massachusetts control flow coverage criteria statement coverage branch coverage path coverage can we also make use of data flow information to guide us in selecting test cases? path selection problem all branches: 1, 2, 4, 5, 7.
control flow graph path coverage
Control flow testing identifies the execution paths through a module of program code and then creates and executes test cases to cover those paths control flow graphs are the foundation of control flow testing modules of code are converted to graphs, the paths through the graphs are analyzed, and test cases are created from that analysis. Path testing is sometimes referred to as basis path testing and now you know why. a basis set is a set of linearly independent test paths. any path through the control flow graph can be formed as a combination of paths in the basis set. i should note that the basis set is not unique.. Coverage and control flow graphs . the application of coverage analysis is typically associated with the use of control and data flow models to represent program structural elements and data. the logic elements most commonly considered for coverage are based on the flow of control in a unit of code. paths (node sequences in flow graphs.
get link reference
