CTFL 4.3.1: Den Anweisungstest erklären

• ✓
  Richtige Antwort: Das Ausführen einer Anweisung deckt nicht in allen Fällen Fehlerzustände auf; datenabhängige Fehlerzustände überstehen auch volle AnweisungsüberdeckungDie Anweisung wurde ausgeführt, ein datenabhängiger Fehlerzustand zeigt sich dennoch nicht.
• b
  Eine 100%ige Anweisungsüberdeckung kann nicht erreicht worden sein, da die fehlerhafte Anweisung offenbar nie ausgeführt wurdeDie Anweisung wurde ausgeführt; volle Anweisungsüberdeckung bedeutet genau das.
• c
  Eine 100%ige Anweisungsüberdeckung stellt sicher, dass die Entscheidungslogik getestet wurde; der Fehlerzustand muss in einem anderen Modul liegenEine 100%ige Anweisungsüberdeckung sichert nicht, dass die gesamte Entscheidungslogik getestet wurde.
• d
  Die Überdeckung wurde falsch gemessen: ausgeführte Anweisungen sind durch die Gesamtzahl der Zweige zu teilenDie Anweisungsüberdeckung teilt ausgeführte Anweisungen durch alle ausführbaren Anweisungen.

Bei einer 100%igen Anweisungsüberdeckung ist sichergestellt, dass jede ausführbare Anweisung mindestens einmal ausgeführt wurde, eine Anweisung mit einem Fehlerzustand also ebenfalls. Das Ausführen einer Anweisung deckt jedoch nicht in allen Fällen Fehlerzustände auf; der Lehrplan nennt als Beispiel für einen datenabhängigen Fehlerzustand genau eine Division durch null, die nur fehlschlägt, wenn der Nenner auf null gesetzt wird. Auch stellt sie nicht sicher, dass die gesamte Entscheidungslogik getestet wurde.

Lehrplanabschnitt 4.3.1

• ✓
  Richtige Antwort: Jede ausführbare Anweisung im Code wurde mindestens einmal ausgeführtDie Anweisungsüberdeckung ist der Anteil der ausgeführten ausführbaren Anweisungen.
• b
  Jeder mögliche Pfad durch den Code wurde mindestens einmal ausgeführtJeden Pfad auszuführen ist Pfadüberdeckung, ein weit strengeres und meist unpraktikables Kriterium.
• c
  Jedes Entscheidungsergebnis, wahr und falsch, wurde ausgeführtBeide Ergebnisse jeder Entscheidung auszuführen ist Zweigüberdeckung, nicht Anweisungsüberdeckung.
• d
  Jede Anforderung der Spezifikation hat mindestens einen TestfallJede Anforderung abzudecken ist Black-Box-Anforderungsüberdeckung, nicht Anweisungstest.

Die Anweisungsüberdeckung misst den Anteil der durch die Tests ausgeführten ausführbaren Anweisungen. 100% bedeutet, dass jede Anweisung mindestens einmal gelaufen ist, garantiert aber nicht, dass jedes Zweigergebnis oder jeder Pfad abgedeckt wurde.

Lehrplanabschnitt 4.3.1

• a
  Trotz der gemeldeten Zahl müssen einige ausführbare Anweisungen unausgeführt geblieben sein100 % Anweisungsüberdeckung bedeutet genau, dass keine ausführbare Anweisung unausgeführt blieb.
• b
  Die Fehlerwirkung muss aus einem Zweig stammen, der überhaupt keine ausführbare Anweisung enthältZweige sind Kontrollübergänge zwischen Knoten; diese Erklärung folgt aus keiner Überdeckungsregel.
• c
  100 % Anweisungsüberdeckung schließt Zweigüberdeckung ein, die Ursache liegt also außerhalbDie Einschließung läuft umgekehrt: Die Zweigüberdeckung schließt die Anweisungsüberdeckung ein.
• ✓
  Richtige Antwort: Jede Anweisung lief mindestens einmal, doch das Ausführen deckt nicht jeden Fehlerzustand aufDie Ausführung ist garantiert, die Aufdeckung nicht, z. B. bei datenabhängigen Fehlerzuständen.

Wenn eine Anweisungsüberdeckung von 100 % erreicht wird, ist sichergestellt, dass alle ausführbaren Anweisungen mindestens einmal ausgeführt worden sind; jede Anweisung mit einem Fehlerzustand wird also ausgeführt, was zu einer Fehlerwirkung führen kann. Das Ausführen einer Anweisung deckt jedoch nicht in allen Fällen Fehlerzustände auf, z. B. nicht bei datenabhängigen Fehlerzuständen wie einer Division durch null, die nur bei Nenner null fehlschlägt.

Lehrplanabschnitt 4.3.1