fixed ref and stukje 4 toegevoegd

[tt2015.git] / a3 / 4tests.tex

diff --git a/a3/4tests.tex b/a3/4tests.tex
index 131f244..03d25b1 100644 (file)
--- a/a3/4tests.tex
+++ b/a3/4tests.tex
@@ -3,3 +3,18 @@
 % Write your model in the input language of the selected MBT tools, generate
 %  tests, and execute
 % them on your SUT. Explain your observations and analyse the test results.
+\subsection{\GAST}
+
+\subsection{JTorX}
+The model in itself was usable in JTorX since the model was written in
+Graphviz' DOT language which is readable by JTorX. JTorX itself generates all
+the testcases and after over $8000$ state changes we stopped the testing. There
+are an infinite number of traces possible because there are several loops in
+the model. The logfile generated by JTorX is $6.7MB$ long and contains indepth
+detail about the trace. 
+
+\begin{lstlisting}[caption={Last lines of JTorX' log saying the sut has passed}]
+2015-12-20T21:17:32.370+0100 VERDICT 8500 pass
+2015-12-20T21:17:32.370+0100 EOT 8500
+2015-12-20T21:17:32.371+0100 LOG 8500 (tcpclient-label-Adapter) streamreader io exception: Socket closed
+\end{lstlisting}