From 014d292298f391c120bbd5ecb5c367e0a6af374c Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 18 Sep 2017 14:19:42 +0200
Subject: Testing setup graphic

---
 assignments/assignment1.tex | 35 +++++++++++++++++++++++++++++++----
 1 file changed, 31 insertions(+), 4 deletions(-)

(limited to 'assignments/assignment1.tex')

diff --git a/assignments/assignment1.tex b/assignments/assignment1.tex
index cd0a2d0..b5a0a8b 100644
--- a/assignments/assignment1.tex
+++ b/assignments/assignment1.tex
@@ -1,7 +1,11 @@
 \documentclass{scrartcl}
 
-\usepackage{listings}
 \usepackage{enumerate}
+\usepackage[hidelinks]{hyperref}
+\usepackage{listings}
+\usepackage{tikz}
+\usetikzlibrary{matrix,positioning,arrows}
+\usepackage{cleveref}
 
 \title{Testing Techniques\\Assignment 1}
 \author{Ren\'e den Hertog - s1007823\\Camil Staps - s4498062\\Erin van der Veen - s4431200}
@@ -40,9 +44,9 @@
 	\setcounter{enumi}{4}
 	\item
 		The documentation of the SUT is defined in two parts.
-		The first part, the chess part, is defined by the rules of the FIDE.\footnote{fide.com/fide/handbook.html}
+		The first part, the chess part, is defined by the rules of the FIDE.\footnote{\url{http://fide.com/fide/handbook.html}}
 		%TODO: Summary
-		The second part, the PGN notation, is defined by the PGN standard.\footnote{saremba.de/chessgml/standards/pgn/pgn-complete.htm}
+		The second part, the PGN notation, is defined by the PGN standard.\footnote{\url{http://saremba.de/chessgml/standards/pgn/pgn-complete.htm}}
 		%TODO: Summary
 	\item
 		The parts of the SUT that will be tested will be the entire library and the individual components thereof.
@@ -74,6 +78,27 @@
 				Path coverage and condition coverage are not implemented in Quickcheck, making it substantially harder to implement.
 		\end{enumerate}
 \end{enumerate}
+
+\begin{figure}
+	\centering
+	\begin{tikzpicture}[
+			every node/.style={draw,rectangle},
+			title/.style={draw=none},
+			->,>=open triangle 60]
+		\node (bbtest) at (4,0)  {Black-box tester (\texttt{test.sh})};
+		\node[matrix,row sep=.5em] (prog) at (0,0) {
+			\node[title] {Wrapper};\\
+			\node (chesshs) {Chess.hs};\\
+		};
+		\node[left=2em of chesshs] (wbtest) {White-box tester (\texttt{test.hs})};
+		\node[below of=wbtest] (quickcheck) {Quickcheck};
+		\draw (bbtest) -- (prog);
+		\draw (wbtest) -- (chesshs);
+		\draw (quickcheck) -- (wbtest);
+	\end{tikzpicture}
+	\caption{A graphical overview of the testing setup\label{fig:testing-setup}}
+\end{figure}
+
 \section{Test Environment}
 \begin{enumerate}
 	\setcounter{enumi}{10}
@@ -87,7 +112,9 @@
 				The software environment GHC 8, Quickcheck 2.10, Linux Debian (derived).
 				The hardware environment is a set of three amd64 laptops.
 			\item
-				A Git repository, the results will be stored in individual files.
+				See \cref{fig:testing-setup}.
 		\end{enumerate}
+	\item
+		A Git repository, the results will be stored in individual files.
 \end{enumerate}
 \end{document}
-- 
cgit v1.2.3

