a3/4tests.tex

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