\begin{slide}{Programmablauf-Tests}

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

\begin{itemize} \itemsep 0pt \parskip 2pt
\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 (haben viele Durchlaufwege)

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



\end{slide}
