From: pimjager <pim@pimjager.nl>
Date: Mon, 14 Dec 2015 23:50:32 +0000 (+0100)
Subject: A3, add grpahs for model and test setup
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1e3613cca2d77933e88747828b40a1e0a5ef50a8;hp=fc53d79505cee4965f536f780774c65b65197e44;p=tt2015.git

A3, add grpahs for model and test setup
---

diff --git a/a3/graphs.viz b/a3/graphs.viz
new file mode 100644
index 0000000..a413cea
--- /dev/null
+++ b/a3/graphs.viz
@@ -0,0 +1,25 @@
+digraph Connection {
+  "Closed" -> "Listen" [label = "Listen?"]
+  "Listen" -> "Syn Received'" [label = "SYN?"]
+  "Syn Received'" -> "Syn Received" [label = "SYN+ACK!"]
+  "Syn Received" -> "Established" [label = "ACK?"]
+  "Syn Received" -> "Listen" [label = "RST?"]
+  "Syn Received'" -> "Listen" [label = "RST?"]
+}
+digraph Close {
+  "Established" -> "Close Wait'" [label = "FIN?"]
+  "Close Wait'" -> "Close Wait" [label = "ACK!"]
+  "Close Wait" -> "Last Ack'" [label = "close?"]
+  "Last Ack'" -> "Last Ack" [label = "FIN!"]
+  "Last Ack" -> "Closed" [label = "ACK?"]
+}
+digraph TestSetupDown {
+  "G∀ST" -> "Python Driver" [label = "TCP"]
+  "Python Driver" -> "SUT" [label = "TCP"]
+  "SUT" -> "EchoServer'" 
+}
+digraph TestSetupUp {  /*todo, invert */
+  "Python Driver" -> "G∀ST" [label = "TCP"]
+  "SUT" -> "Python Driver" [label = "TCP"]
+  "EchoServer" -> "SUT"
+}
\ No newline at end of file