Eine Tabelle erwarteter Zeilen

Die Seite „Testfälle" lässt Sie erwartetes Verhalten als reine Texttabelle festhalten — eine Spalte pro Eingang und Ausgang, eine Zeile pro zu prüfender Kombination, mit 0, 1 oder x für „egal". Jede Zeile durchläuft ihre eigene, unabhängige Simulation: die aufgeführten Eingänge werden gesetzt, die aufgeführten Ausgänge verglichen, und jede nicht übereinstimmende Zeile wird sofort markiert.

Das ist genau eine von Hand geschriebene Wahrheitstabelle

Eine Testfalltabelle ist nichts weiter als die Wahrheitstabelle, die Sie von Ihrer Schaltung erwarten, im Voraus aufgeschrieben statt hinterher automatisch erzeugt — nützlich in dem Moment, in dem eine Schaltung groß genug wird, dass das bloße Betrachten der automatisch erzeugten Wahrheitstabelle keine zuverlässige Methode mehr ist, einen Fehler zu finden.

Warum sequentielle Schaltungen eine Warnung bekommen, keine Sperre

Jede Zeile wird unabhängig ausgewertet, ohne jedes Konzept einer Taktflanke zwischen den Zeilen — es gibt keine Möglichkeit zu sagen „Takt umschalten, dann Ausgang prüfen". Enthält eine Schaltung irgendein zustandsbehaftetes Element (Flip-Flops, REG4, SHIFT4, irgendein Zähler), zeigt die Seite eine Warnung, dass zeilenweises Testen nur das kombinatorische Verhalten beschreibt; das hindert Sie trotzdem nicht daran, den kombinatorischen Teil zu testen, da die Warnung informativ ist und keine harte Grenze darstellt.

Probieren Sie es selbst

Schreiben Sie im Schaltungseditor eine kleine Testfalltabelle für einen Halbaddierer — vier Zeilen, die alle Kombinationen von A und B abdecken —, bestätigen Sie, dass sie besteht, und vertauschen Sie dann absichtlich zwei Ausgangsspalten, um zu sehen, wie die Seite die Abweichung meldet.