July 12, 1999
Tivoli, Rome
15
•How do the two criteria compare?
Only Traditional
Criteria for Client(s)
Test set T1 adequate
wrt block, decision,
c-use and p-use in the
client(s).
Total #errors revealed
= E1
Traditional Criteria
for client and pro-
posed criteria for
other components
Test set T2 adequate
wrt ACint and ACclient
Total #errors revealed
= E2
(E1 - E2) :: (½T1½ -½T2½)
Client
Magellan
System
Experiments: Testing Applications