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