somme ex2 and ex3 text

[tt2015.git] / a3 / 2tools.tex

diff --git a/a3/2tools.tex b/a3/2tools.tex
deleted file mode 100644 (file)
index 1f4e61f..0000000
--- a/a3/2tools.tex
+++ /dev/null
@@ -1,32 +0,0 @@
-% Possible tools and which ones did we chose:
-
-% Search for model-based testing tools, select two MBT tools, and 
-% argue why you selected these
-% tools. (See also the list of MBT tools below.)
-
-To test the SUT using the model from Section~\ref{sec:modeling} we have
-considered two tools, namely \GAST and JTorx. The sections below discuss the
-upsides and downsides of these tools in regard to testing the SUT.
-
-\subsection{JTorX}
-JTorX is an open source model based test tool developed by 
-Belinfante\cite{belinfante2010jtorx} featuring a GUI, all possible graph file
-formats and can connect to the SUT via TCP or stdin/stdout. JTorX generates
-input enabled traces and automatically executes them via the adapter. In our
-setup we use TCP as the desired communication method between the SUT and the
-tool.
-
-\subsection{\GAST}
-\GAST is an open source model based test tool developed by Koopman et
-al.\cite{koopman2003gast} and is a domain specific language written in the
-functional programming language Clean. Models in \GAST must be expressed as
-functions. \GAST supports two different types of testing. Standard model
-checking and property based testing. As discussed earlier we are not using
-property based testing. \GAST can communicate with the SUT via TCP or embedded
-C code. In our setup we use TCP as the desired communication method between the
-SUT and the tool. In order to enable \GAST to communicate with our adapter 
-(written in Python)
-we needed to slightly modify the \GAST source. The modified source is provided 
-with this report.
-
-% Misschien hier iets over het feit dat we TCP gebruiken als communicatie