Framework iets uitgebreid. Grove versie symbolic transition system van driver toegevoegd

[tt2015.git] / a3 / 3architecture.tex

diff --git a/a3/3architecture.tex b/a3/3architecture.tex
index a002dd0..b8f932a 100644 (file)
--- a/a3/3architecture.tex
+++ b/a3/3architecture.tex
@@ -13,7 +13,7 @@ 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.)
+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
@@ -27,5 +27,24 @@ Hier zou dus een plaatje van ``digraph TestSetupDown'' uit ``graphs.viz'' moeten
 
 Hier zou dus een plaatje van ``digraph TestSetupUp'' uit ``graphs.viz'' moeten komen. \label{fig:architecture_up}
 
+
+\subsection{Python Driver}
+The Python driver can be modeled as an Symbolic Transition
+System. The model for the connection phase can be seen in 
+Figure~\ref{fig:pythondriverconnection}. 
+%meer uitleg over hoe die driver werkt. Qua sequence nummers opslaan enzo,
+%beetje toelichting bij de figuur.
+
+%in graphs.viz heb ik een opzetje voor die symbolic trnasition system
+%neergezet, maar ik weet neit hoe die er precies uitziet, dus het is echt heel
+%grof, dit moet aangepast worden naar iets wat daadwerkelijk op de 
+%implementatie lijkt. Wat er nu staat is meer om de moeite te besparen van 
+%uitzoeken hoe zo'n model er uit ziet :)
+Hier zou dus een plaatje van ``digraph PythonDriverConnection'' uit ``graphs.viz'' moeten komen. \label{fig:pythondriverconnection}
+
+Hier zou dus een plaatje van ``digraph PythonDriverClose'' uit ``graphs.viz'' moeten komen. \label{fig:pythondriverclose}
+
 % Hier moet nog meer over het automationdeel, maar ik weet neit hoe we dat
-% gaan fixen
\ No newline at end of file
+% gaan fixen
+
+