How do the proposed test adequacy criteria
compare with the traditional criteria?
Traditional Criteria
Proposed Criteria
Seeded
Errors
Test set T1 adequate
w.r.t. block, decision,
c-use and p-use.
Errors revealed = E2
Errors revealed = E1
Hypothesis: E1 = E2