Ein Fehler wird erkannt, wenn am Ausgang ein Wert festgestellt wird, der vom Wert der fehlerfreien Schaltung abweicht. Eine Eingangsbelegung, die die Erkennung eines Fehlers ermöglicht, heißt Testmuster. Ein Fehler kann durch mehrere Testmuster erkannt werden. Ein Testmuster kann mehrere Fehler erkennen. Dabei sind folgende Unterscheidungen wichtig:
"Fehler f1 dominiert Fehler f2, wenn jeder Test für Fehler f2 auch Fehler f1 entdeckt."
entsprechend:
"Zwei Fehler f1 und f2 sind äquivalent, wenn jeder Test für Fehler f1 auch Fehler f2 findet, und umgekehrt."
Mit Hilfe dieser Fehlertypen kann die Liste aller zu testenden Fehler deutlich reduziert werden. Im Beispiel reicht es , für einen vollständigen Test, die Fehler a:sa0, a:sa1 und b:sa1 zu berücksichtigen. Ein Testmustersatz, der alle Fehler erkennt, wäre dann (a, b)={(0,1),(1,0),(1,1)}.