\begin{slide}{Dynamische Tests}

\begin{itemize}
\item Testfall: Satz von Testdaten
\item Testtreiber zur Ablaufsteuerung
\item ggf. \emph{instrumentiertes} Programm zur Protokollierung
\end{itemize}

Beispiele (f. Instrumetierung):
\begin{itemize}
\item 
  Debugger: fügt Informationen über Zeilennummern in Objektcode ein
\begin{verbatim}
gcc -g foo.c -o foo  ;  gdb foo
\end{verbatim}
\item
  Profiler:  Code-Ausführung wird regelmäßig unterbrochen
  und \glqq aktuelle Zeile\grqq\ notiert,
  anschließend Statistik
\end{itemize}


\end{slide}


