White-Box Testing
Control Flow Testing: CFGs, Cyclomatic Complexity, and Basis Path Analysis
Control flow testing treats code as a graph. Nodes are basic blocks (sequences of statements with no branches); edges are the control flow between them. Testing strategies based on this graph — basis path testing, loop testing, cyclomatic complexity — are the foundation of systematic white-box testing. What is a Control