Logikabdeckung

Was ist das Testen der Logikabdeckung?

Die Logik entspricht der internen Struktur des Codes, und diese Prüfung wird für sicherheitskritische Anwendungen wie Software in der Luftfahrtindustrie angewendet. Dieser Test überprüft die Teilmenge der Gesamtzahl der Wahrheitszuweisungen zu den Ausdrücken.

Quellen der Logikabdeckung:

Die Logikabdeckung stammt aus einer der unten genannten Quellen:

  • Entscheidungen in Programmen

  • Finite State Machines und Statecharts

  • Requirements