\begin{slide}{Kontrollfluß-Tests}

bezieht sich auf Kontrollfluß-Graphen
(Knoten: Anweisungen, Kanten: mögliche Übergänge)

\begin{itemize} \itemsep 0pt
\item
  Anweisungs-Überdeckung:
  jede Anweisung mindestens einmal ausgeführt
\item
  Zweigüberdeckung:
  jede Kante mindestens einmal durchlaufen
  ---
  Beachte: \verb|if (X) then { A }|
\item
  Pfadüberdeckung:
  jeder Weg (Kantenfolge) mindestens einmal durchlaufen
  ---
  Beachte: Schleifen

  Abschwächung: jede Schleife (interior) höchstens einmal
\item
  Bedingungs-Überdeckung:
  jede atomate Bedingung einmal true, einmal false.
\end{itemize}



\end{slide}
