From fc53d79505cee4965f536f780774c65b65197e44 Mon Sep 17 00:00:00 2001 From: pimjager Date: Mon, 14 Dec 2015 17:01:19 +0100 Subject: [PATCH] Verslag gesprek Ramon toegevoegd --- a3/Gesprekje Ramon 14-12-15.txt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 a3/Gesprekje Ramon 14-12-15.txt diff --git a/a3/Gesprekje Ramon 14-12-15.txt b/a3/Gesprekje Ramon 14-12-15.txt new file mode 100644 index 0000000..c5c793e --- /dev/null +++ b/a3/Gesprekje Ramon 14-12-15.txt @@ -0,0 +1,22 @@ +Gesprekje Ramon 14-12-15 + +Interessante punten van testen: + - Handshake + - Teardown +Denk eraan dat een connectiereset in principe overal mogelijk is. +Op wiki staat model van TCP + +Simplificeer TCP, het gaat om even model based testing onder de knie krijgen. +We maken in feite een Symbolisch Transitie Systeem, (input x , output x+1), +dat stoppen we weg in de Python/Scapy adapter. + +Zorg ervoor dat het geteste model, en het symbolisch model (dus wat in Python +gebeurd) wel in het verslag staan. + +Hebben we non-determinisme? +In principe wel, zit in timing e.d. Maar kun je weg abstracten naar iets +deterministsich, beter daarvoor gaan. + +Deadline: zondag + +Interessante tweede tools: JUnit, JTorx, GraphWalker \ No newline at end of file -- 2.20.1