July 12, 1999
Tivoli, Rome
14
•How do
the proposed test adequacy criteria compare with the traditional criteria?
Magellan
Component
Interface
Seeded
Errors
Traditional
Criteria
Test set T1 adequate
w.r.t. block, decision,
c-use and p-use.
Errors revealed = E1
Proposed
Criteria
Test set T2 adequate
w.r.t. method,exception
and interface mutation
Errors revealed = E2
Hypothesis: E1 = E2
Experiments: Testing Components