From db2026c105f48eea0096ee41f93023a3232670a5 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Mon, 13 Nov 2017 13:35:48 +0100
Subject: Assignment 3: Write small section on QuickCheck and relation to
 assignment 1

---
 assignments/assignment3/assignment3.tex | 39 +++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 assignments/assignment3/assignment3.tex

(limited to 'assignments/assignment3/assignment3.tex')

diff --git a/assignments/assignment3/assignment3.tex b/assignments/assignment3/assignment3.tex
new file mode 100644
index 0000000..e3e655f
--- /dev/null
+++ b/assignments/assignment3/assignment3.tex
@@ -0,0 +1,39 @@
+\documentclass[british]{scrartcl}
+
+\usepackage[british]{babel}
+\usepackage{csquotes}
+\usepackage{enumerate}
+\usepackage[hidelinks]{hyperref}
+\usepackage{minted}
+\setminted{fontsize=\small,breaklines,breakanywhere,tabsize=4}
+\usepackage{caption}
+\newenvironment{longlisting}{\captionsetup{type=listing}}{}
+\usepackage{tikz}
+\usetikzlibrary{arrows, matrix, positioning}
+\usepackage{cleveref}
+
+\let\oldurl\url
+\def\url#1{{\small\oldurl{#1}}}
+
+\title{Model-Based Testing with QuickCheck}
+\subtitle{Testing \texttt{chesshs} with QuickCheck}
+\author{Ren\'e den Hertog \and Camil Staps \and Erin van der Veen}
+
+\begin{document}
+
+\maketitle
+
+\section{QuickCheck}
+QuickCheck\footnote{\url{http://www.cse.chalmers.se/~rjmh/QuickCheck/}} is a property based testing tool initially created for Haskell.
+Given that our SUT is a Haskell library and that QuickCheck is recommended in the assignment, using QuickCheck is nothing but a logical consequence.
+
+\section{Modelling}
+As mentioned above QuickCheck is a property based testing tool.
+A property based testing tool, like QuickCheck, can test if certain specifications (a list of properties) of a program/function hold.
+This testing is done through generating a large sample of test cases, based on a class known as \mintinline{text}{Arbitrary}.
+
+The above implies that a model of the system is given using a specification.
+In our case, like we did in the first assignment, we generate games that are fed to the parser.
+However, unlike the first assignment, the PGN games that are generated this time, are generated by QuickCheck and are thus completely random.
+
+\end{document}
-- 
cgit v1.2.3

