Common measures of test efficiency are the fault coverage and the defe
ct level for a given product yield. An extension of the well known for
mula relating these three quantities to the case of general non-equipr
obable faults has been derived by exploiting the concept of critical a
rea. This also leads to a more meaningful definition of fault coverage
.