CS447 Lecture 1: L11.pdf
Document Summary
The structural coverage criteria for design elements were not very satisfying: basically we only had call graphs. Let"s instead talk about data-bound relationships between design elements. First, some terms: caller: unit that invokes the callee, actual parameter: value passed to the callee by the caller; and, formal parameter: placeholder for the incoming variable. Illustration. caller: callee: foo(actual1, actual2); void foo(int formal1, int formal2) { We want to de ne du-pairs between callers and callees. We"ll say that the last-defs are 2, 3; the rst-uses are 12, 13. The set of nodes n that de ne a variable x for which there is a def-clear path from a node n n through a call to a use in the other unit. We need the following side de nition, analogous to that of def-clear: De nition 3 a path p = [n1, .
