Zulässige Bedingungswerte bestimmen

*.log.03.ti.check.txt

Diese Protokolldatei enthält alle Details zur Prüfung der Ausführbarkeit von Regelfolgen, bzw. der internen Verarbeitung der einzelnen Anweisungen zur Bestimmung zulässiger Bedingungswerte.

Wenn in der Konsol­ausgabe nicht ausführbare Regelfolgen aufgelistet sind, dann kann in dieser Protokolldatei der Grund für die Einstufung als "nicht ausführbar" nachgesehen werden. Hilfreich für eine schnelle Orientierung sind dabei die in eckigen Klammern dargestellten eindeutigen ID’s der Regelfolgen.

Diese Datei wird nur erzeugt, wenn die Ent­schei­dungs­ta­belle Regel­gruppen enthält und wenn für die Testfallgenerierung eine Testanweisungs-Untergruppe zum Bestimmen von zulässigen Bedingungswerten verwendet wird.