Test Adequacy Assessment
E( f, ∗)(E(S, ∗)) denotes the execution sequence of function f (state-
ment S)onthecurrent values of all the variables used by f (S). We shall
use this notation while defining execution sequences of C functions and
statements.
Let S, S
1
,andS
2
denote a C statement other than break,
continue, goto, and switch, unless specified otherwise. The follow-
ing rules can be used to determine execution sequences for any C func-
tion:
R1 E({ },t) is the null sequence.
R2 E({}, t) ◦ E(S, t) = E(S, t) = E(S, t) ◦ E({})
R3 E({}, t) |
c
E(S, t) =|
c
E(S, t) =
null sequence if c is false,
E(S, t) otherwise.
R4 If S is an assignment-expression, then E(S, t) = S.
R5 For any statement S, E(S,t) = RLS(S), if RLS(S) contains
no statements other than zero or ...