From: charlie Date: Mon, 21 Dec 2015 11:26:00 +0000 (+0100) Subject: Merge branch 'master' of https://github.com/dopefishh/tt2015 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=b9a2bba394a561b8ee901b625dc72bd6630e38e2;p=tt2015.git Merge branch 'master' of https://github.com/dopefishh/tt2015 --- b9a2bba394a561b8ee901b625dc72bd6630e38e2 diff --cc a3/4tests.tex index def869c,e10cfb8..ace3808 --- a/a3/4tests.tex +++ b/a3/4tests.tex @@@ -21,26 -36,14 +36,13 @@@ defined as one of the final states toge When \GAST will end up in this state the SUT is reset and a new path is tried. Because of time constraints we decided to allow \GAST to evaluate $9000$ paths. - None of the paths where rejected by \GAST. The output generated by \GAST is listed below. + None of the paths where rejected by \GAST. The output generated by \GAST is + listed below. \begin{lstlisting}[caption={Gast commandline output}] -TODO: gast commandline output -\end{lstlisting} - - -\begin{lstlisting}[caption={Gast testOut.txt output}] -TODO: gast testOut.txt copy paste +Gast starts testing. +paths: 8999, rejected: 0, truncated: 0... +End of testing, maximum paths used. +9000 test paths executed successful, in total 12252 transitions. +65536 \end{lstlisting} - - \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}