diff --git a/Lectures/L35_Analysis/Analysis.pdf b/Lectures/L35_Analysis/Analysis.pdf index 64e993742a2cfb535f09fd46ba1a21f8140c1e3a..fc300943cb23403fcf33c90caf41f2fb7a98cb3d 100644 Binary files a/Lectures/L35_Analysis/Analysis.pdf and b/Lectures/L35_Analysis/Analysis.pdf differ diff --git a/Lectures/L35_Analysis/Analysis.tex b/Lectures/L35_Analysis/Analysis.tex index ffc955ebe3655f30eda2c93e2a54c177189541d9..f1b8944404c37d3361a2d562deabb996f71d0e05 100755 --- a/Lectures/L35_Analysis/Analysis.tex +++ b/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}