From: pimjager Date: Tue, 26 Jan 2016 23:13:54 +0000 (+0100) Subject: Model voor a4 en aanpassing in script zodat states nu goed geplitst worden X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=0aa7ca9903390e6d8f297348f03996dee0fadb2f;p=tt2015.git Model voor a4 en aanpassing in script zodat states nu goed geplitst worden --- 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? + + + + + + + + + + + + + + + +