Added something on the architecture

diff --git a/a3/2tools.tex b/a3/2tools.tex
index eaf6fbb..f56417b 100644 (file)
--- a/a3/2tools.tex
+++ b/a3/2tools.tex
@@ -2,4 +2,8 @@
 
 % 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.)
\ No newline at end of file
+% tools. (See also the list of MBT tools below.)
+
+\subsection{JTorx of Jwhatever ofzo}
+
+\subsection{\GAST}
\ No newline at end of file

diff --git a/a3/3architecture.tex b/a3/3architecture.tex
index 9ebbecf..08ab788 100644 (file)
--- a/a3/3architecture.tex
+++ b/a3/3architecture.tex
@@ -7,3 +7,22 @@
 % interfaces; explain your choices. Try to reuse (parts of) the 
 % test-execution automation environment that you developed during the 
 % second assignment.
+
+To test the SUT \GAST needs to be able to send input to the SUT and receive its
+output. To simplify the input and output handled by \GAST an adapter is added
+between \GAST and the SUT. This adapter abstracts away from parts of the 
+specification that are not needed for these tests, such as the payload, 
+sequence number, etc. Essentially reducing each segment to only its flags (SYN,
+ACK, FIN, etc.)
+
+An EchoServer will connect to the SUT to offer an application which will accept
+the incoming connection. However, since no data will be exchanged the EchoServer
+will not be used for anything else.
+
+Figure~\ref{fig:architecture_down} shows the flow of data from \GAST to the SUT
+and Figure~\ref{fig:architecture_up} shows the flow of data from the SUT back
+to \GAST.
+
+Hier zou dus een plaatje van ``digraph TestSetupDown'' uit ``graphs.viz'' moeten komen. \label{fig:architecture_down}
+
+Hier zou dus een plaatje van ``digraph TestSetupUp'' uit ``graphs.viz'' moeten komen. \label{fig:architecture_up}
\ No newline at end of file

diff --git a/a3/preamble.tex b/a3/preamble.tex
index 36f5fb9..b4c799c 100644 (file)
--- a/a3/preamble.tex
+++ b/a3/preamble.tex
@@ -15,6 +15,8 @@
 \newcounter{TCC}
 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
 
+\newcommand{\GAST}{G$\forall$ST}
+
 \lstset{%
   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
   breaklines=true,                 % sets automatic line breaking