
Test Adequacy Assessment
Now consider the second occurrence of node 6 along the path (1, 2,
3, 6, 2, 5, 6
, 7). The sequence of definitions of input variables of node
6isd
1
(x) followed by d
6
(count), d
6
(y), and finally d
5
(z). Next,
consider again the second occurrence of node 6, but now along the path
(1, 2, 5, 6, 2, 3, 6
). In this case, the sequence of definitions is d
1
(x)
followed by d
6
(count), d
5
(z), and finally d
6
(y). These two sequences
are different in that y and z are defined in a different sequence.
The above examples lead to the notion of an ordered elementary data
context of node n abbreviated as OEDC(n). An ordered elementary
data context for node ...