To satisfy a data flow testing criterion after making a program change requires identifying the def-use associations affected by the change. Affected def-use association fall into two categories: (1) those affected directly because of the insertion-deletion of definition and uses (new associations) and (2) those affected indirectly because of a change in either a computed value (value association) or a path condition (path association).