Ein White-Box-Testverfahren, bei dem Testfälle im Hinblick auf die Ausführung von Ergebniskombinationen von atomaren Bedingungen entworfen werden.