Zusammenfassung des Beispiels mit logischen Ausdrücken
Mit diesen 4 Testanweisungen kann LF‑ET bei der Berechnung von Testfällen alle nicht zulässigen Regelkombinationen sicher erkennen und deren Verwendung in Testfällen vermeiden:
| Alle Details der internen Verarbeitung der einzelnen Anweisungen bei der Testfallgenerierung können detailliert im Protokoll "Zulässige Bedingungswerte bestimmen" nachvollzogen werden. |