Um einen Fehler zu finden muss ein Testverfahren folgende Bedingungen erfüllen: Den Fehlerausführungspunkt erreichen, der den Fehler verursacht, die Fehlererzeugung auszulösen, welche die Fehlerausführung dazu bringt einen inkorrekten Ausführungszustand zu generieren, und den Fehler weiterleiten, was dem falschen Ausführungszustand erlaubt bis in den Output vorzustossen und dort einen erkennbaren Ausgabefehler erzeugt.