Ein Beispiel

Beispiel zur Vorbestimmung zulässiger Bedingungswerte mit logischen Ausdrücken

Nach Ausführung eines beliebigen Wertes der Aktion A01 soll für die Bedingung B06 nur noch der Wert "Nein" zulässig sein:

bsp 01

  • Wenn bei der Prüfung der Benutzereingaben Fehler festgestellt werden, d.h. wenn die Aktion A01 ausgelöst wird, dann soll für B06 der Wert "Ja" nicht mehr zulässig sein

  • Eine Ausführung der Regel R09 nach Ausführung einer der Regeln R01, R02, R05, R06 oder R07 soll also grundsätzlich nicht möglich sein

  • Umgekehrt soll R10 nur ausführbar sein, wenn vorher mindestens eine Regel mit A01 durchlaufen wurde

  • Nicht ausführbare Regelfolgen dürfen in Testfällen nicht vorkommen und müssen bei der Testfallberechnung auto­ma­tisch vermieden werden

  • Das Problem dabei ist, dass LF‑ET z.B. den logischen Zusammenhang zwischen Aktion A01 und Bedingung B06 nicht eigenständig erkennen kann

Aus diesem Grunde werden spezielle Funktionen bereitgestellt, mit denen der Test Analyst in Testanweisungen logische Zustände erzeugen und auswerten kann. Ein Bedingungswert gilt dabei als "gültig" und somit ausführbar, wenn zum Bedingungswert ein logischer Ausdruck definiert ist und die Verarbeitung oder Auswertung dieses Ausdrucks als "erfolg­reich" bewertet wird.

Lösung in 4 Schritten

Schritt 1

In der Testfall Vorbedingung für die Ent­schei­dungs­ta­belle:

  • Define Ja, Nein – mit dieser Anweisung werden zwei verschiedene Werte, Ja und Nein, erzeugt, die später für Zuweisungs- oder Vergleichsoperationen verwendet werden

  • Set Fehlerfrei = Ja – hiermit wird ein dritter Wert Fehlerfrei erzeugt und die logische Beziehung "ist gleich" zu Wert Ja festgelegt

  • Da diese Anweisungen in der Vorbedingung zum Testfall ange­ge­ben sind, ist dies ist die Grundeinstellung für alle Testfälle

    bsp 02
     

Schritt 2

In der allgemeinen Konfi­gura­tion für die Aktion A01 - Fehler sammeln:

  • Set Fehlerfrei = Nein – mit dieser Anweisung wird die im Schritt 1 für jeden Testfall voreingestellte Beziehung "Fehlerfrei = Ja" auf "Fehlerfrei = Nein" geändert

  • Diese Anweisung wird nur ausgeführt, wenn in einer Regel auch die Aktion A01 (Fehler sammeln) durchlaufen wird

    bsp 03
     

Schritt 3

In der Testanweisung zum Bedingungswert B06/01 - Daten vollständig und korrekt? - Ja

  • Fehlerfrei == Ja – diese Anweisung (ohne vorangestelltes SET) löst keine Wertzuweisung aus, sondern eine Prüfung, ob die ange­ge­bene logische Beziehung wahr ist. Der Vergleichsoperator '==' ist hier nicht zwingend notwendig, unterstützt aber optisch eine leichtere Unterscheidung zwischen Zuweisung und Vergleich.

  • Für die Bedingung B06 gilt der Bedingungswert "J" nur dann als "ausführbar" (zulässig), wenn mit den aktuell gespei­cherten Wertebeziehungen der logische Ausdruck als "ist wahr" bewertet wird

    bsp 04
     

Schritt 4

In der Testanweisung zum Bedingungswert B06/02 - Daten vollständig und korrekt? - Nein

  • Fehlerfrei == Nein – diese Anweisung (ohne vorangestelltes SET) löst keine Wertzuweisung aus, sondern eine Prüfung, ob die ange­ge­bene logische Beziehung wahr ist

  • Für die Bedingung B06 gilt damit der Bedingungswert "N" gilt nur dann als "ausführbar" (zulässig), wenn mit den aktuell gespei­cherten Wertebeziehungen der logische Ausdruck als "ist wahr" bewertet wird

    bsp 05