Der Ursache-Wirkungs-Graph (U-W-G) ist eine formale Sprache, in die eine
Spezifikation aus der natürlichen Sprache übersetzt wird. Es
entsteht ein boolscher Graph, aus dem Testfälle konstruiert werden.
Grundlegende Symbole im U-W-G:
Die Bedeutung des Wortes "exklusiv" im Zusammenhang zwischen Ursache
und Wirkung heißt hier "höchstens ein" und heißt nicht
"entweder oder".
