Additional slide on metamorphic testing

Lectures/L35_Analysis/Analysis.tex

@@ -173,6 +173,29 @@ TBD
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Metamorphic Testing}
+
+\bi
+\item Used for testing when there is no test oracle
+\item Test program has properties known as Metamorphic Relations (MR)
+\item MRs specify how a change in inputs should change the output
+\item For instance (KanewalaEtAl2014)
+\bi
+\item Finding the maximum of a list should be the same no matter
+  the permutation of the list
+\item The average of a set of numbers will increase if each number added is
+  larger than all previous numbers added
+\item Etc.
+\ei
+\item Metamorphic testing gets its name because mew test cases are evolved from
+  the old ones (ChenEtAl1998)
+\ei
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
 \frametitle{Module Testing}