
Test Adequacy Assessment
6.3 DATA-FLOW CONCEPTS
So far, we have considered flow of control as the basis for deriving test-
adequacy criteria. We examined various program constructs that estab-
lish flow of control and that are susceptible to mistakes by programmers.
Ensuring that all such constructs have been tested thoroughly is a major
objective of test-adequacy assessment based on flow of control. How-
ever, testing all conditions and blocks of statements is often inadequate
as the test does not reveal all errors.
Another kind of adequacy criteria are based on the flow of data
through the program. Such criteria focus on definitions of data and their
subsequent ...