A fault detection test set (FDTS) is complete if there is at least one test vector in the set for every possible fault.
A minimum FDTS is a complete FDTS that contains the fewest number of tests possible. There can be more than one minimum FDTS.
Equivalent and Dominant Faults
Faults are equivalent if they have the same test vectors.
A fault dominates if the set of test vectors for is a proper subset of . Thus, any test vector for will also test .
It can be difficult to find a true minimum FDTS, but to try and find a compact set, we can repeatedly select test vectors with a high weighting (more faults tested) in our fault table, until we cover all faults.
Comment bq
Checkpoint Theorem can be used to determine which faults are unnecessary to test, as they are checked in another fault’s test.
await dv.view("Scripts/topic-backlinks");