Prüfplanung, Coverage und unabhängige Referenzen

Ein Prüfplan macht aus der Spezifikation prüfbare Aussagen

Ersetzen Sie „funktioniert gut“ durch Aussagen über Zustand nach Reset, normale Ausgaben, Halten bei Stopp, unzulässige Eingaben und Abschlusszeit. Verknüpfen Sie jede Aussage mit mindestens einem Test und Beobachtungspunkt, um Lücken zu erkennen.

Warum die Referenz unabhängig sein muss

Kopierte Slices^{iSlice Auswahl eines zusammenhängenden Bitbereichs aus einem Vektor. Der Bereich bestimmt Breite und Reihenfolge des Ergebnisses. Mehr erfahren} eines Schiebers können auch Indexfehler kopieren. Alternative Darstellungen wie Ganzzahlmultiplikation/modulo oder String-Suffixvergleich unterstützen gegenseitige Prüfung. Eine andere Schreibweise beweist allerdings noch keine Unabhängigkeit; prüfen Sie kleine Fälle von Hand.

Coverage zählt nicht bloß bestandene Tests

Ausgeführte Codezeilen sind nicht gleich geprüfte Funktionsfälle. Kreuzungen wie reset×enable, state×input oder full×push×pop können Fehler offenlegen. Ergänzen Sie seltene wichtige Fälle gezielt statt ausschließlich zufällig.

Kombinatorische Logik mit N Eingängen lässt sich mit $2^N$ Fällen vollständig prüfen, sequenzielle Logik hat zusätzlich zeitliche Eingabefolgen. Analysieren Sie Erreichbarkeit und Invarianten^{iInvariante Bedingung, die bei jeder zulässigen Ausführung stets wahr bleiben muss. Eine FIFO mit Tiefe vier enthält etwa immer zwischen null und vier Elemente.} über alle Übergänge. Endlich viele bestandene Simulationen sind kein mathematischer Beweis für unbegrenzte Zeit.

Erzeugen Sie Sollwerte unabhängig aus der Spezifikation. Speichern Sie bei Fehlern nicht nur Istwerte, sondern auch vorausgehende Eingaben und Zustände.

Fehler verkleinern und festhalten

Notieren Sie vor der ersten Abweichung Zustand, Eingabe, Soll und Ist. Entfernen Sie unnötige Stimuli bis zum minimalen Gegenbeispiel und korrigieren Sie dann. Führen Sie neben dem geänderten Test auch bestehende Grenz- und Resetprüfungen^{iReset Steuerung zur Rückkehr in einen festgelegten Anfangszustand. Synchron/asynchron und Priorität gegenüber anderen Steuerungen müssen definiert werden. Mehr erfahren} als Regression aus.