From 1e3613cca2d77933e88747828b40a1e0a5ef50a8 Mon Sep 17 00:00:00 2001 From: pimjager Date: Tue, 15 Dec 2015 00:50:32 +0100 Subject: [PATCH] A3, add grpahs for model and test setup --- a3/graphs.viz | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 a3/graphs.viz 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 -- 2.20.1