What do we cover with tests when testing with the white-box method?

When testing using the white-box method (structural testing), we cover the following aspects:

• Statement Coverage: Executing each executable statement in the code.
• Branch Coverage / Decision Coverage: Executing each possible path from conditional statements (if, else, switch, loops) at least once.
• Path Coverage: Executing each possible path through the code. This is the most comprehensive but often impractical due to the large number of paths.
• Condition Coverage: Testing each component condition in a decision statement for true and false independently of other parts of the condition.
• Multiple Condition Coverage: Testing all possible combinations of values for each condition in a decision statement.
• Loop Coverage: Testing the execution of loops (zero iterations, one iteration, multiple iterations, maximum iterations).
• Control Flow Testing: Analyzing and testing the execution of the program through the control flow graph.
• Data Flow Testing: Testing the definition and use of variables in the program.