(1) Eine Sequenz von Ereignissen (Pfaden) der Ausführung in einer Komponente oder einem System. (2) Graphische Darstellung aller möglichen alternativen Kontrollflusspfade in einer Komponente. (3) Ein gerichteter Graph G = (N, E, nstart, nfinal). N ist die endliche Menge der Knoten. E ist die Menge der gerichteten Kanten. »nstart« ist der Startk...