Muster lösung probezeit

Äquivalente Fehler erzeugen das gleiche fehlerhafte Verhalten für alle Eingabemuster. Jeder einzelne Fehler aus dem Satz äquivalenter Fehler kann den gesamten Satz darstellen. In diesem Fall sind für eine Schaltung mit n-Signalleitung wesentlich weniger als k n-Fehlertests erforderlich. Das Entfernen äquivalenter Fehler aus dem gesamten Fehlersatz wird als Fehlerkollaps bezeichnet. Das Drehbuch verwendet die Idee von Akteuren, Aufgaben und Zielen, um Tests in geschäftlicher Hinsicht auszudrücken, anstatt in Bezug auf Interaktionen mit dem System. Im Drehbuch beschreiben Sie Tests in Bezug auf einen Akteur, der Ziele hat. Wenn Sie dies auf Ihre Automatisierung anwenden, stellen Sie sicher, dass Sie den Testfallcode entkoppeln, damit Sie langsame Komponenten mit schnellen Simulatoren austauschen können, damit Sie den Test und die App, die Sie testen, im selben Prozess ausführen können. Wenn sich etwas ändert, z. B. eine Element-ID, müssen Sie nur an einen Ort gehen, um die Änderung vorzunehmen, und alle Tests, die dieses Seitenobjekt verwenden, nehmen die Änderungen automatisch auf, ohne dass Sie etwas weiter tun.

Der Testcode muss nur an einer Stelle aktualisiert werden. Dies trägt auch dazu bei, die Codeduplizierung zu reduzieren. Ein Fehler ist ein Fehler, der in einem Gerät während des Herstellungsprozesses verursacht wird. Ein Fehlermodell ist eine mathematische Beschreibung, wie ein Fehler das Konstruktionsverhalten verändert. Die Logikwerte, die an den primären Ausgängen des Geräts beobachtet werden, während sie ein Testmuster auf ein zu testengerät (DUT) anwenden, werden als Ausgabe dieses Testmusters bezeichnet. Die Ausgabe eines Testmusters beim Testen eines fehlerfreien Geräts, das genau wie geplant funktioniert, wird als die erwartete Ausgabe dieses Testmusters bezeichnet. Ein Fehler wird durch ein Testmuster erkannt, wenn die Ausgabe dieses Testmusters beim Testen eines Geräts, das nur diesen einen Fehler aufweist, von der erwarteten Ausgabe abläuft. Der ATPG-Prozess für einen gezielten Fehler besteht aus zwei Phasen: Fehleraktivierung und Fehlerausbreitung.

Die Fehleraktivierung ermittelt einen Signalwert an der Fehlermodellstelle, der dem vom Fehlermodell erzeugten Wert entgegensteht. Die Fehlerausbreitung verschiebt den resultierenden Signalwert oder Fehlereffekt vorwärts, indem ein Pfad von der Fehlerstelle zu einem primären Ausgang sensibilisiert wird. Zweitens ist es möglich, dass ein Erkennungsmuster vorhanden ist, aber der Algorithmus kann keins finden. Da das ATPG-Problem NP-vollständig ist (durch Reduktion vom booleschen Zufriedenheitsproblem), wird es Fälle geben, in denen Muster existieren, aber ATPG gibt auf, da es zu lange dauern wird, sie zu finden (vorausgesetzt, p-NP natürlich).