Correlation of Variables and Predicates
Two variables are correlated if every combination of their values cannot be independently specified
Variables whose values can be specified independently without restriction are called uncorrelated
A pair of predicates whose outcomes depend on one or more variables in common are said to be correlated predicates
Example:
The predicate "X == Y" is followed by another predicate "X + Y == 8", If we select 'X' and 'Y' values to satisfy the first predicate, we might have forced the 2nd predicates truth value to change
Every path through a routing is achievable only if all the predicates in that routine are uncorrelated
Variables whose values can be specified independently without restriction are called uncorrelated
A pair of predicates whose outcomes depend on one or more variables in common are said to be correlated predicates
Example:
The predicate "X == Y" is followed by another predicate "X + Y == 8", If we select 'X' and 'Y' values to satisfy the first predicate, we might have forced the 2nd predicates truth value to change
Every path through a routing is achievable only if all the predicates in that routine are uncorrelated
0 comments:
Post a Comment