Testfälle

Testfälle für eine Schaltung schreiben

Eine Wahrheitstabelle sagt, was eine Schaltung tut. Ein Testfall sagt, ob das gewollt war. Sie deklarieren die Eingangskombinationen, die Sie interessieren, zusammen mit den erwarteten Ausgängen, führen sie aus und erhalten ein Urteil je Zeile statt einer Tabelle, die Sie erst noch lesen müssen.

Das zählt, sobald ein Entwurf der erschöpfenden Prüfung entwächst. Ab zehn Eingängen umfasst eine vollständige Tabelle Tausende Zeilen, während die wirklich relevanten Fälle — Randbedingungen, Übertragsfortpflanzung, jene eine Kodierung, die letztes Mal brach — meist eine Handvoll sind. Aufgeschrieben machen sie aus einem Entwurfsreview etwas Wiederholbares.

• Spaltennamen werden den Bezeichnungen Ihrer INPUT- und OUTPUT-Elemente zugeordnet.
• Ein x in einer Ausgangsspalte bedeutet „egal“ — nützlich, wenn für diese Eingabe nur ein Teil des Ergebnisses definiert ist.
• Eine fehlgeschlagene Zelle zeigt den erzeugten Wert neben dem erwarteten, sodass die Abweichung sofort sichtbar ist.

# Halbaddierer
A B | S C
0 0 | 0 0
0 1 | 1 0
1 0 | 1 0
1 1 | 0 1

Jede Zeile wird unabhängig simuliert, ohne Taktflanke dazwischen. Damit ist dies ein Werkzeug für kombinatorische Schaltungen: Ein Entwurf mit Flip-Flops oder Zählern trägt Zustand von Zeile zu Zeile weiter, was die Tabelle nicht ausdrücken kann — die Seite warnt, wenn sie solche Elemente erkennt.