From 0aa7ca9903390e6d8f297348f03996dee0fadb2f Mon Sep 17 00:00:00 2001 From: pimjager Date: Wed, 27 Jan 2016 00:13:54 +0100 Subject: [PATCH] Model voor a4 en aanpassing in script zodat states nu goed geplitst worden --- a4/tcp/results/van_learnlib_naar_dot.py | 6 +- a4/tcp/tcp_model.graphml | 324 ++++++++++++++++++++++++ 2 files changed, 327 insertions(+), 3 deletions(-) create mode 100644 a4/tcp/tcp_model.graphml diff --git a/a4/tcp/results/van_learnlib_naar_dot.py b/a4/tcp/results/van_learnlib_naar_dot.py index 86d5e7f..e6b69d0 100755 --- a/a4/tcp/results/van_learnlib_naar_dot.py +++ b/a4/tcp/results/van_learnlib_naar_dot.py @@ -25,9 +25,9 @@ pat = r's(?P\d+) -> s(?P\d+) \[label="(?P\S+) / (?P\S+)"\];' for line in inputfile: match = re.search(pat, line) if match: - outputfile.write('\ts{0} -> s{0}_ [label="!{1}"]\n'.format( - match.group('f'), match.group('i'))) - outputfile.write('\ts{}_ -> s{} [label="?{}"]\n'.format( + outputfile.write('\ts{0} -> s{0}_{1} [label="{2}?"]\n'.format( + match.group('f'), match.group('t'), match.group('i'))) + outputfile.write('\ts{0}_{1} -> s{1} [label="{2}!"]\n'.format( match.group('f'), match.group('t'), match.group('o'))) else: outputfile.write(line) diff --git a/a4/tcp/tcp_model.graphml b/a4/tcp/tcp_model.graphml new file mode 100644 index 0000000..0810f57 --- /dev/null +++ b/a4/tcp/tcp_model.graphml @@ -0,0 +1,324 @@ + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + Listen + + + + + + + + + + + + + + + + + Syn Recv' + + + + + + + + + + + + + + + + + Syn Recv + + + + + + + + + + + + + + + + + Established + + + + + + + + + + + + + + + + + Established' + + + + + + + + + + + + + + + + + Syn recv'' + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + SYN-ACK! + + + + + + + + + + + + + + + + + + + + RST? + + + + + + + + + + + + + + + + + + + + ACK? + + + + + + + + + + + + + + + + + + + + ERR! + + + + + + + + + + + + + + + + + + + + SYN? + + + + + + + + + + + + + + + + + + ERR! + + + + + + + + + + + + + + + + + + Reset! + + + + + + + + + + + + + + + + + + + ACK? + + + + + + + + + + + + + + + + -- 2.20.1