% 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
