\begin{slide}{Aufgaben zum Testen und Verifizieren (22. 6.)}


Testen mit JUnit, Beispiel: Median5
\begin{itemize}
\item
  JUnit tiefladen (\url{http://junit.org/}), 
  auspacken und \verb|junit.jar| ins aktuelle Directory kopieren
\item
  Quelltext:
  \url{http://www.imn.htwk-leipzig.de/~waldmann/edu/ss04/case/programme/analyze/Median5.java}

  Median5 kompilieren und ausführen (Option \verb|-cp junit.jar|)
\item
  die anderen TestRunner ausprobieren (AWT, Swing)
\item
  in die Methode median5 Aussagen über den erwarteten Programmzustand
  (nach jedem if) einfügen (assertTrue), jeweils testen

  ggf. Programm korrigieren/ergänzen
\item
  dann für jedes if: die Aussage 
  (Zusammenhang von Vor- und Nachbedingung) beweisen
\end{itemize}

\end{slide}
