Comparing test sets and criteria in the presence of test hypotheses and fault domains