友棕刈灾.PDFVIP

Comparing test sets and criteria in the presence of test hyp otheses and fault domains R. M. Hierons Deparment of Information Systems and Computing, Brunel University, UK A numb er of authors have considered the problem of comparing test sets and criteria. Ideally test sets are compared using a preorder with the prop erty that test set T 1 is at least as strong as T 2 if whenever T 2 determines that an implementation p is faulty, T 1 will also determine that p is faulty. This notion ca