From: Mart Lubbers Date: Sun, 20 Dec 2015 21:32:38 +0000 (+0100) Subject: fixed ref and stukje 4 toegevoegd X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=388906575d86c403de0f1389b68beb3c1e090d06;p=tt2015.git fixed ref and stukje 4 toegevoegd --- diff --git a/a3/1modelingTCP.tex b/a3/1modelingTCP.tex index 20b8500..a841b87 100644 --- a/a3/1modelingTCP.tex +++ b/a3/1modelingTCP.tex @@ -1,7 +1,7 @@ In previous assignments our group has viewed the SUT as a stateful input-output system. -\subsection{Behaviour of the SUT} +\subsection{Behaviour of the SUT}\label{subsec:behaviour} When considering the behaviour of the SUT we abstract away from some details to limit the scope of the project. We will only consider the behaviour as the sequence of input output flags. All other details required will be implemented diff --git a/a3/4tests.tex b/a3/4tests.tex index 131f244..03d25b1 100644 --- 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}