reset a3, kut Charlie ;)

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

diff --git a/a3/2tools.tex b/a3/2tools.tex
new file mode 100644 (file)
index 0000000..1f4e61f
--- /dev/null
+++ b/a3/2tools.tex
@@ -0,0 +1,32 @@
+% 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