Lecture Software testing and analysis: Chapter 13 - Mauro Pezzè, Michal Young
Lecture Software testing and analysis: Chapter 13 - Mauro Pezzè, Michal Young
Exercising every statement or branch with test cases is a practical goal, but exercising every path is impossible. Even the number of simple (that is, loop-free) paths can be exponential in the size of the program. Path-oriented selection and adequacy criteria must therefore select a tiny fraction of control flow paths. Data flow test adequacy criteria improve over pure control flow criteria by selecting paths based on how one syntactic element can affect the computation of another.